blob: 5f45474e18dae6035e3eeafd310a9c762f9354db (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeApplications #-}
{-# OPTIONS_GHC -fdefer-typed-holes #-}
module T12589 where
import Data.Proxy
hcpure :: proxy c -> (forall a. c a => f a) -> h f xs
hcpure _ _ = undefined
a = minBound
& hcpure (Proxy @Bounded)
|