"у вас же тут все функторы Set->Set, как вы вообще можете в этом разбираться"
ну вот я типа пытаюсь натыкать разницу теперь между
разницу между
[Scask, Scask] -> Scask
и
[Scask, Scask] -> [Scask, Scask]
первое должно наследовать ништяки, который благодаря тому, что в Сет
второе благодаря тому, что ендофунтор