blob: 66feeec38700251b882d53540e873c26e315ff09 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# language PolyKinds #-}
{-# language FlexibleContexts #-}
{-# language ConstraintKinds #-}
{-# language FlexibleInstances #-}
{-# language FunctionalDependencies #-}
{-# language UndecidableInstances #-}
import GHC.Exts (Constraint)
class Ríki (p :: i -> i -> *)
class (Ríki p) => Varpi p q f | f -> p q
instance Varpi () () f => Varpi (->) (->) (Either f) where
|
