isClosedPropTy :: ObjType -> Bool
isClosedPropTy (PropTy (Open [] PropConst)) = True
isClosedPropTy :: ObjType -> Bool
isClosedPropTy (PropTy (Open [] PropConst)) = True
isClosedPropTy (PropTy (Open [] PropConst)) = True