flatMap

tagless

functor

tagless

functorK

tagless