No title

Anonymous Coward 2018-03-08 07:05:16.025274 UTC

1{-# LANGUAGE TypeInType, TypeFamilies #-}
2type family F1 a where
3 F1 a = Int
4
5type family F2 a where
6 F2 a = Char
7
8class C a (b :: F1 a) (c :: F2 a) (d :: F1 a)