RankNTypes

Run Settings
LanguageHaskell
Language Version
Run Command
{-# LANGUAGE RankNTypes #-} f :: (forall a. [a] -> b) -> Bool -> b f g flag = if flag then g "abcd" else g [1,2] main = do print $ f length True print $ f length False
Editor Settings
Theme
Key bindings
Full width
Lines