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