path: root/libraries/base/tests/T5962.hs

module Main where

import Data.Typeable

unitToUnit_a = typeOf (\() -> ())
unitToUnit_b = mkFunTy (typeOf ()) (typeOf ())

main = print (unitToUnit_a == unitToUnit_b)