On Sun, Mar 9, 2008 at 3:23 AM, Brandon S. Allbery KF8NH <[EMAIL PROTECTED]> wrote: > myFunc :: (forall a. (Bounded a, Enum a) => a) -> > (forall a. (Bounded a, Enum a) => a) -> > (forall a. (Bounded a, Enum a) => a) > > which is a rather useless declaration (I think the only inhabitant of > that type is _|_).
Just to nitpick: this function type is quite specific, and there are many non _|_ implementations. myFunc a b = a myFunc a b = b myFunc a b = toEnum (f a b) where f :: Int -> Int -> Int ... Luke _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
