1 2 3 4 5 6
{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE RankNTypes #-} module Bug where foo :: foral a. a -> a foo x = x