--type environment


--functions for working with DataTypes
---------------

--Gives the sort corresponding to a monotype
flat :: MonoType -> Sort
flat (ArrowT _ a b) = Arrow (flat a) (flat b)
flat :: MonoType -> Sort
flat (ArrowT _ a b) = Arrow (flat a) (flat b)
flat (ArrowT _ a b) = Arrow (flat a) (flat b)