["True", "TRUE", "true", "T", "⊤"] >> return top

parseBot = reservedOps [
parseTop  = reservedOps ["True", "TRUE", "true", "T", "⊤"] >> return top
parseTop  = reservedOps ["True", "TRUE", "true", "T", "⊤"] >> return top