1 2 3 4 5 6 7 8 9 10
-- Showed up a bug in bodySplitTyConApp module ShouldFail where p :: f b p = error "urk" g x = case p of True -> ()