22 Mar
2006
22 Mar
'06
1:54 a.m.
On 3/21/06, Ashley Yakeley <ashley@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@gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem