22 Mar
2006
22 Mar
'06
6:54 a.m.
On 3/20/06, Ashley Yakeley <ashley@semantic.org> wrote:
Never as far as I can imagine. The 'a' parameter will be taken by a phantom type. <http://haskell.org/haskellwiki/Phantom_type>
Now I don't recall, but is it allowed to do: data HasResolution a => Fixed a = ...? -- Taral <taralx@gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem