On 3/20/06, Ashley Yakeley <[EMAIL PROTECTED]> 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 <[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
