- -- newtypes. If you want hte original RHS, look at the
- -- argument type of the data constructor.
-
-data DataConDetails datacon
- = DataCons [datacon] -- Its data constructors, with fully polymorphic types
- -- A type can have zero constructors
-
- | Unknown -- Used only when We're importing this data type from an
- -- hi-boot file, so we don't know what its constructors are