path: root/testsuite/tests/typecheck/should_fail/tcfail166.hs

-- Without -XScopedTypeVariables, this should fail

module ShouldFail where

destroy :: (forall a. (a -> Maybe (b,a)) -> a -> c) -> [b] -> c
destroy = error "urk"