1 2 3 4 5 6 7
{-# LANGUAGE RankNTypes #-} module ShouldFail where bar :: Num (forall a. a) => Int -> Int bar = error "urk"