ProjectM36.TypeConstructor
name :: TypeConstructor -> TypeConstructorName Source #
arguments :: TypeConstructor -> [TypeConstructor] Source #