RankNTypes
Bind position into parser types
Merge pull request #17 from philipnilsson/rank2

Use Rank2 types to simplify type signatures of parsers.