AV
Size: a a a
AV
DB
DB
YP
type HasNecessary (m :: Type) :: Contraint = (MonadReader r m, HasField ".." r .., ...)Может где-те и налажал с синтаксисом, но суть не в этом, а в том, будет ли это в точтости тем же что и
class (MonadReader r m, HasField ".." r .., ...) => HasNecessary m?
YP
YP
AV
AV
AV
AV
AV
DB
DB
AV
AV
DB
AV
AV
ЗП
Dict? я так и не понял какой профит когда вносишь констрейнты в пространство типовDB