testsuite/tests/typecheck/should_compile/T11512.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE PolyKinds, TypeApplications, ScopedTypeVariables #-}

module Bug where

import Data.Proxy

class C a where
  foo :: Proxy a

bar :: forall a. C a => Proxy a
bar = foo @a