blob: af4800507eca693466651b039540c9e81c666351 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE TypeFamilies, PolyKinds, MultiParamTypeClasses, FlexibleContexts,
AllowAmbiguousTypes #-}
module T7278 where
type family TF (t :: k) :: * -> * -> *
class C (t :: k) (dcs :: * -> * -> *)
f :: (C (t :: k) (TF t)) => TF t p1 p0 -> t p1 p0
f = undefined -- panic caused by (t :: k) in the signature's context
|
