Time Library

Taral taralx at gmail.com
Tue Mar 21 17:54:15 EST 2006

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

More information about the Haskell-prime mailing list