Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / polykinds / T11648.hs
1 {-# LANGUAGE PolyKinds, TypeOperators, TypeFamilies,
2 MultiParamTypeClasses #-}
3
4 module T11648 where
5
6 import Data.Kind
7
8 class Monoidy (to :: k0 -> k1 -> Type) (m :: k1) where
9 type MComp to m :: k1 -> k1 -> k0
10 mjoin :: MComp to m m m `to` m