Type.Class.Higher

class Eq1 f

(=#=)

class Eq2 f

(=##=)

class Eq3 f

(=###=)

class Ord1 f

class Ord2 f

class Ord3 f

class Show1 f

shows1

class Show2 f

shows2

class Show3 f

shows3

class Read1 f

reads1

readMaybe1

class Read2 f

reads2

readMaybe2

class Read3 f

reads3

readMaybe3

class Functor1 t

class IxFunctor1 i t

class Foldable1 t

class IxFoldable1 i t

class Traversable1 t

class IxTraversable1 i t

class Bifunctor1 t

class IxBifunctor1 i j t

data Some f

some

(>>-)

(>->)

withSome

onSome

msome

(>>=-)

data Some2 f

some2

(>>--)

(>-->)

withSome2

onSome2

msome2

(>>=--)

data Some3 f

some3

(>>---)

(>--->)

withSome3

onSome3

msome3

(>>=---)

data SomeC c f

someC

(>>~)

msomeC

(>>=~)