------------------------------------------------------------------------------
--
--      Observers for datatype representations
--
------------------------------------------------------------------------------


-- | Gets the type constructor including the module
dataTypeName :: DataType -> String
dataTypeName = tycon
dataTypeName :: DataType -> String
dataTypeName = tycon
dataTypeName = tycon