Parsing Layout, or: Haskell's Syntax is a Mess

Efficient instance resolution for Agda