-------------------------------------------------------------------------------
-- Constructors and destructors
-------------------------------------------------------------------------------

mk :: Name -> TypeVar
mk = TypeVar
mk :: Name -> TypeVar
mk = TypeVar
mk = TypeVar