testsuite/tests/indexed-types/should_compile/T4358.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE TypeFamilies, Rank2Types, FlexibleContexts #-}

module T4358 where

type family T a

t2 :: forall a. ((T a ~ a) => a) -> a
t2 = t
  
t :: forall a. ((T a ~ a) => a) -> a
t = undefined