scalaz
Representable functors, that is to say, those with isomorphisms to and from [a](X => a). As such, all typeclasses and operations on [a](X => a), that is, fixed in X, can be trivially derived for F.
[a](X => a)
X
F
Representable functors, that is to say, those with isomorphisms to and from
[a](X => a)
. As such, all typeclasses and operations on[a](X => a)
, that is, fixed inX
, can be trivially derived forF
.