1 module ShouldSucceed

where
5 -- produces the interface:
6 -- data OL a = MkOL [a] deriving ()
7 -- ranOAL :: (OL (a, a)) -> [a]
8 -- this interface was produced by BOTH hbc and nhc
10 -- the following bogus type sig. was accepted by BOTH hbc and nhc
11 f x

= ranOAL

where -- ranOAL :: OL (a,v) -> [a]
12 --ranOAL :: OL (a,v) -> [v], the right sig.
13 ranOAL

( xs

) = mp sd xs

17 mp f

(x

:xs

) = (f x

) : mp f xs