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


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

{-# Language PolyKinds, TypeFamilies #-}

module T12041 where

import Data.Kind

class Category (p :: i -> i -> Type) where
  type Ob p :: i -> Constraint

data I a b
instance Category I where
  type Ob I = (~) Int