Exinst

1 type index

data Some1 f1

class Dict1 c f1

2 type indexes

data Some2 f2

class Dict2 c f2

3 type indexes

data Some3 f3

class Dict3 c f3

4 type indexes

data Some4 f4

class Dict4 c f4

Miscellaneous

class Dict0 c

Re-exports

data Constraint

data Dict a