Singular Type Constructor
Tue, 31 Jul 2001 20:29:35 -0700
At 2001-07-30 19:08, I wrote:
>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'?
In the end I called it 'Type'. Perhaps something like it should be in the
Ashley Yakeley, Seattle WA