(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 в один.