equivOrDisjointKeyword :: String -> CharParser st EquivOrDisjoint
equivOrDisjointKeyword ext = choice
  $ map (\ f -> pkeyword (show f ++ ext) >> return f)
  equivOrDisjointL
equivOrDisjointKeyword :: String -> CharParser st EquivOrDisjoint
equivOrDisjointKeyword ext = choice
  $ map (\ f -> pkeyword (show f ++ ext) >> return f)
  equivOrDisjointL
equivOrDisjointKeyword ext = choice
  $ map (\ f -> pkeyword (show f ++ ext) >> return f)
  equivOrDisjointL