-------------------
contResultType :: SimplCont -> OutType
contResultType (Stop ty _)                  = ty
contResultType :: SimplCont -> OutType
contResultType (Stop ty _)                  = ty
contResultType (Stop ty _)                  = ty