-- -------------------------------------------------------------------------- --
-- Miscelaneous Functions

tLit :: Literal -> Term n
tLit = (`TLiteral` def)
tLit :: Literal -> Term n
tLit = (`TLiteral` def)
tLit = (`TLiteral` def)