1 2 3 4 5 6 7
{-# LANGUAGE RankNTypes #-} module ShouldFail where foo :: [forall a. a] -> Int foo = error "urk"