Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime