blob: 3a133d79307db0f6975d64b23b67f7c7735af505 (
plain)
1
2
3
4
5
6
7
|
{-# LANGUAGE RankNTypes, ViewPatterns #-}
module ViewPats where
ex6 :: forall a. a -> a -> Int -> Eq a => Bool
-- Reject. Needs (const (bla :: Bool)) :: Int -> Eq a => Bool
ex6 x y = const (x == y)
|