testsuite/tests/typecheck/should_fail/ExplicitSpecificity7.hs


1
2
3
4
5
6
7
8

{-# LANGUAGE RankNTypes, StandaloneKindSignatures, DataKinds, PolyKinds, TypeApplications #-}

module ExplicitSpecificity7 where

type Foo :: forall a {b}. a -> b -> b
type Foo x y = y

type Bar = Foo @Bool @Int True 42