WASH.CGI.Types
data TySpec
data TyRep
data TyDecl
data ConRep
class Types a
class TID a