1 2 3 4 5 6
-- Without -XScopedTypeVariables, this should fail module ShouldFail where destroy :: (forall a. (a -> Maybe (b,a)) -> a -> c) -> [b] -> c destroy = error "urk"