Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / T12589.hs
1 {-# LANGUAGE ConstraintKinds #-}
2 {-# LANGUAGE RankNTypes #-}
3 {-# LANGUAGE TypeApplications #-}
4 {-# OPTIONS_GHC -fdefer-typed-holes #-}
5 module T12589 where
6
7 import Data.Proxy
8
9 hcpure :: proxy c -> (forall a. c a => f a) -> h f xs
10 hcpure _ _ = undefined
11
12 a = minBound
13 & hcpure (Proxy @Bounded)