T4358.hs 197 Bytes
Newer Older
1
{-# LANGUAGE TypeFamilies, RankNTypes, FlexibleContexts #-}
Simon Peyton Jones's avatar
Simon Peyton Jones committed
2 3 4 5 6 7 8

module T4358 where

type family T a

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

Simon Peyton Jones's avatar
Simon Peyton Jones committed
10
t :: forall a. ((T a ~ a) => a) -> a
11
t _ = undefined