On Sun, 22 Dec 2013, Jacques Carette wrote:
pattern P :: (Show t) => ( (Num t, Eq b) => b -> T t ) perhaps? Given 'Show t', you get what's on the rhs of the first => ?
I like this one; in fact, I originally wanted to go with something like that. But unfortunately, this type is already valid and is parsed simply as (Show t, Num t, Eq b) => b -> T t by GHC:
Prelude> :t undefined :: (Show t) => ((Num t, Eq b) => b -> Maybe t) undefined :: (Show t) => ((Num t, Eq b) => b -> Maybe t) :: (Eq b, Num t, Show t) => b -> Maybe t -- .--= ULLA! =-----------------. \ http://gergo.erdi.hu \ `---= ge...@erdi.hu =-------' A pessimist sees the glass half empty, the optimist sees it half full and the blind can't see shit _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
