At 2001-07-30 19:08, I wrote:
>Consider:
>
>--
>data T a = T
>--
>
>Is there anything in the Prelude or a standard library that looks like
>this? Should there be? What should it be called? 'Singleton'? 'Reified'?
>'T'?
In the end I called it 'Type'. Perhaps something like it should be in the
Prelude...
See
<http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/jvm-bridge/source/Haskell/T
ype.hs?rev=HEAD&content-type=text/vnd.viewcvs-markup>.
--
Ashley Yakeley, Seattle WA
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
