isClosedTermTy :: ObjType -> Bool
isClosedTermTy (TermTy (Open [] TermConst)) = True
isClosedTermTy :: ObjType -> Bool
isClosedTermTy (TermTy (Open [] TermConst)) = True
isClosedTermTy (TermTy (Open [] TermConst)) = True