1 2 3 4 5 6 7 8
==================== Parser ==================== module ShouldCompile where data (<-->) a b = Mk a b test :: [a] doc1 -> (a <--> (b -> [a])) blabla test xs ys = xs