Tag
This article explains Tambara modules in category theory, their relation to monoidal functors and profunctor optics, and illustrates the concepts using Haskell code, drawing from a recent paper by Mateusz Stroiński.