isExoticTermTy :: ObjType -> Bool
isExoticTermTy (TermTy (Open termHyps TermConst)) =
               any (not . isClosedTermTy . bindTy) termHyps
isExoticTermTy :: ObjType -> Bool
isExoticTermTy (TermTy (Open termHyps TermConst)) =
               any (not . isClosedTermTy . bindTy) termHyps
isExoticTermTy (TermTy (Open termHyps TermConst)) =
               any (not . isClosedTermTy . bindTy) termHyps