一言でいうとできないのですが、型の定義をモジュールの中に隠して、その型の値を生成して返す関数をエクスポートすることで、似たようなことができます。
例えば、下のような内容の Century.hs を作成します。
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
module Century (makeCentury) where
newtype Century = Century Int
deriving (Num,Eq,Ord,Show)
makeCentury :: Int -> Century
makeCentury n
| n < 0 || n > 100 = error "Out of range"
| otherwise = Century n
これをコンパイルしてインポートすると、Century はエクスポートしていないので、データコンストラクタは使えません。
import Century
main :: IO ()
main = do
putStrLn $ show (makeCentury 3) -- 'Century 3' と出力
putStrLn $ show (makeCentury 101) -- 実行時エラー
-- putStrLn $ show (Century 1010) コンパイルできない