testsuite/tests/indexed-types/should_fail/T13972.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}
module Bug where

import Data.Kind

class C (a :: k) where
  type T k :: Type

instance C Left where
  type T (a -> Either a b) = Int