language: Haskell (ghc-7.4.1)
date: 144 days 14 hours ago
link:
visibility: public
1
2
3
4
5
6
7
8
{-# 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)