Static Types for Parsers