StateT/ExceptT и как они будут скомпозированы? Как я понимаю, раз у вас всё на генериках, то есть и From/To-anyclass-конверсия для Generic1-типов?
EnvT для StateT достаточно. Void с Unit в композиции Id ещё стоит протестить.
Обсуждают сегодня