CoGeneric
internal
Consumer
effects
com
root
compose
TPrism
consume
Consumer