1 -- !!! Print001.hs: printing of types (esp for interfaces)
7 data Foo d e f = MkFoo [((d->Int)->d)->e] (d->e, e->e) ()
9 | BarCon (Foo a a a) (Bar a)
13 f :: Eq a => (a -> b -> c) -> (a -> b -> c)
16 f2 :: (Eq a, Ord a, Ix c) => (a -> b -> c) -> (a -> b -> c)
19 g :: Foo Int (a -> b) (a -> [(a, Double, Int)]) -> Float