On 3/21/06, Ashley Yakeley <[EMAIL PROTECTED]> wrote:
> Not usefully.
>
> data T a = MkT a
> data C a => T a = MkT a
>
> It's allowed, but it doesn't do what you probably want. All it does is
> change the type of the constructor MkT.
I think it also allows the inference of HasResolution a from Fixed a,
thus removing the HasResolution condition on your instances.
--
Taral <[EMAIL PROTECTED]>
"You can't prove anything."
-- Gödel's Incompetence Theorem
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://haskell.org/mailman/listinfo/haskell-prime
