Re: Time Library

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