Entry tags:
(no subject)
Готовясь к завтрашней лекции про линзы, нашел в недрах Control.Lens.Traversal функцию с прекрасным именем confusing:
confusing :: Applicative f => LensLike (Rift (Yoneda f) (Yoneda f)) s t a b -> LensLike f s t a bПишут, что для fusion'а многих fmap в один.