shortName :: TokenType -> String
shortName ((_ :. a) :. b) =
    shortName a ++ shortName b
shortName :: TokenType -> String
shortName ((_ :. a) :. b) =
    shortName a ++ shortName b
shortName ((_ :. a) :. b) =
    shortName a ++ shortName b