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