Polished type signatures; Provided sample parser with attoparsec.