ghc/tests/typecheck/should_compile/tc082.hs

   1 -- !!! tc082: an instance for functions
   2 --
   3 module ShouldSucceed where
   4
   5 class Normal a
   6         where
   7         normal :: a -> Bool
   8
   9 instance Normal ( a -> b ) where
  10         normal _ = True
  11
  12 f x = normal id