language: Haskell (ghc-7.4.1)
date: 572 days 2 hours ago
link:
visibility: public 
1
2
3
4
5
6

{-# LANGUAGE Rank2Types #-}
 
main = print $ foo (==) 3 3 "baz" "baz"
 
foo :: (Eq b, Eq c) => (forall a. Eq a => a -> a -> Bool) -> b -> b -> c -> c -> Bool
foo f b b' c c' = (b `f` b') && (c `f` c')
[1 of 1] Compiling Main             ( prog.hs, prog.o )
Linking prog ...