==================== Parser ====================
module ShouldFail where
|- ps q : qs = undefined
infix 6 |-