Add flatMap to Maybe, simplify Parser.flatMap and use it in Parser.map
Fix type warnings