-- Terminal symbol
terminal :: Eq t => t -> Parser t
terminal t (e:es) | t == e = (True, es)
terminal :: Eq t => t -> Parser t
terminal t (e:es) | t == e = (True, es)
terminal t (e:es) | t == e = (True, es)