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