blob: 8e46ccb3c59d004dcff0689b4339fe0d77e1d55e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE RankNTypes, GADTs, DataKinds, PolyKinds, TypeOperators, TypeFamilies #-}
module T9222 where
import Data.Proxy
-- Nov 2014: actually the type of Want is ambiguous if we
-- do the full co/contra thing for subtyping,
-- which we now do
-- So this program is erroneous. (But the original ticket was
-- a crash, and that's still fixed!)
data Want :: (i,j) -> * where
Want :: (a ~ '(b,c) => Proxy b) -> Want a
|