Looks fantastic. But let me ask for more :-)

> This is equivalent to an API that defines these three endpoints:

It would be cool to use the text that follows this as the spec; i.e. write a converter from this description to Haskell.

> GET /position/:x/:y/ returns a Position object as JSON