InjectInstancesHere
derevo
insertInstancesHere
derevo
instance
applyK
contravariant
flatMap
functor
functorK
invariant
invariantK
semigroupalK
invariant
tagless
invariantK
tagless