Traverse

extendBi

reduceCollect

everywhere

zfmap

extendBi'

class RComonad t

class RFunctor t

class Refill d

annotation