constT :: ReadP Term
constT =
  liftM ConstT $ choice [ bottomC
                        , unitC
                        , integerC
                        , charC
                        ]
constT :: ReadP Term
constT =
  liftM ConstT $ choice [ bottomC
                        , unitC
                        , integerC
                        , charC
                        ]
constT =
  liftM ConstT $ choice [ bottomC
                        , unitC
                        , integerC
                        , charC
                        ]