blob: 02c2c57fcdf79ab3ab8c3af322597eaed74cc053 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE TypeFamilies, PolyKinds, ExplicitForAll #-}
module Foo where
import Data.Kind
import Data.Proxy
type family F (a::k) (b::k)
-- Tricky because we can't quantify the '_' variable outside.
-- See Note [Generalising in tcTyFamInstEqnGuts] in TyCl
type instance forall k (x::k). F x _ = Int
|
