20 Aug
2001
20 Aug
'01
11:25 p.m.
On Mon, Jul 30, 2001 at 07:08:50PM -0700, Ashley Yakeley 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'?
What's wrong with State# a? Why do you need any constructors at all? Perhaps the name of State# should be changed, or maybe the syntax should be extended to allow data types with _no_ alternatives. Best, Dylan Thurston