deriving via?
ну а где соотвествующий ньютайп-то, вроде того, что для моноеда в семигрупс
может быть, https://www.stackage.org/haddock/lts-16.31/adjunctions-4.4/Data-Functor-Rep.html#g:6
в смысле, для табулейтед дженерик дефолт, и апликатив виа Co? никогда такого не пробовал
data Collection a = Collection { thingFoo :: a , thingBar :: a } deriving stock (Show, Functor, Foldable, Traversable, Generic, Generic1) deriving Applicative via (Co Collection) instance Distributive Collection where collect = genericCollect instance Representable Collection
а почему collect = genericCollect, там дефолта нету?
а разве тут Ap не хватит?
С помощью такой, например, дерайвилки нельзя было бы получить инстанс для зиплиста
убрать бы теперь все эти портянки под ондин ньютайп...
Обсуждают сегодня