Time Library

Taral taralx at gmail.com
Tue Mar 21 20:54:16 EST 2006

On 3/21/06, Ashley Yakeley <ashley at semantic.org> 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 <taralx at gmail.com>
"You can't prove anything."
    -- Gödel's Incompetence Theorem

More information about the Haskell-prime mailing list