Method
DeriveMacros
Monoid
cats
m
Method
mapK
DeriveMacros