Exinst.Singletons

1 type index

data Some1 f1

some1

withSome1Sing

withSome1

fromSome1

class Dict1 c f1

2 type indexes

data Some2 f2

some2

withSome2Sing

withSome2

fromSome2

class Dict2 c f2

3 type indexes

data Some3 f3

some3

withSome3Sing

withSome3

fromSome3

class Dict3 c f3

4 type indexes

data Some4 f4

some4

withSome4Sing

withSome4

fromSome4

class Dict4 c f4

Re-exports

data Dict a