- -- (Just k) for
- -- (a) GADT-style data type decls with user kind sig
- -- (b) 'data instance' decls with user kind sig
- -- (c) 'data family' decls, whether or not there is a kind sig
+ -- (Just k) for a
+ -- (a) GADT-style 'data', or 'data instance' decl
+ -- with explicit kind sig
+ -- (b) 'data family' decl, whether or not
+ -- there is an explicit kind sig