-- | Return string type description.
typeof' :: Pretty a => Term a -> Text
typeof' = either id renderCompactText . typeof
typeof' :: Pretty a => Term a -> Text
typeof' = either id renderCompactText . typeof
typeof' = either id renderCompactText . typeof