Jules Bean wrote:
> This looks very very much clearer in GADT syntax, since in GADT syntax
> you always give constructors explicit types:
>
> type ExistsNumber where
> Number :: forall a . Num a => ExistsNumber a
The questions in response to my post have been answered already; I'd like to
mention, though, the two typos in your example, which should read instead:
data ExistsNumber where
Number :: forall a. Num a => a -> ExistsNumber
Kalman
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
