T9222.hs 199 Bytes
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1
2
3
4
5
6
7
{-# LANGUAGE RankNTypes, GADTs, DataKinds, PolyKinds, TypeOperators, TypeFamilies #-}
module T9222 where

import Data.Proxy

data Want :: (i,j) -> * where
  Want :: (a ~ '(b,c) => Proxy b) -> Want a