OpenTheory.Parser
data Parser a b
token
some
anyToken
apply
mapPartial
filterParser
fold
foldN
mapParser
none
orelse
sequenceParser
pair
parse