testsuite/tests/polykinds/T11648.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE PolyKinds, TypeOperators, TypeFamilies,
             MultiParamTypeClasses #-}

module T11648 where

import Data.Kind

class Monoidy (to :: k0 -> k1 -> Type) (m :: k1)  where
  type MComp to m :: k1 -> k1 -> k0
  mjoin :: MComp to m m m `to` m