{-# OPTIONS -fglasgow-exts #-} f :: Maybe (forall a. [a] -> [a]) -> Maybe ([Int], [Char])f (Just g) = Just (g [3], g "hello")f Nothing = Nothing main = print $ f (Just reverse)
Standard input is empty
Just ([3],"olleh")
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!