Restricted Data Types: A reformulation

Bulat Ziganshin bulatz at
Wed Feb 8 09:40:41 EST 2006

Hello Jan-Willem,

Wednesday, February 08, 2006, 4:26:48 PM, you wrote:
JWM> Should there be a class which is implemented by every well-formed
JWM> type of kind (*)?  Should that class have one or more of the following:
JWM>    * Structural decomposition and reconstruction a la Generics?
JWM>    * Scrapped-boilerplate traversal a la Typeable?
JWM>    * Ability to coerce to Dynamic?

JWM> It would be a special source of amusement to me if such a class were  
JWM> called All or Forall... :-)  (though a moment's thought will tell you  
JWM> it's Wrong.)

it's called "Object" in OOP languages, so we are clearly should name it
"Function" ;)

Best regards,
 Bulat                            mailto:bulatz at

More information about the Haskell-prime mailing list