F = IO). Однако по смыслу получается что удобное было бы если F = OptionT[IO, ?]. Как лучше бы сделать... IO ~> OptionT[IO, ?] или сразу написать реализацию для F = OptionT[IO, ?]. Дело в том что в данном случае OptionT это не сам эффект, а трансформер...
Final tagless позволяет тебе не думать о конкретной монадке, почему ты вообще выбираешь?
Обсуждают сегодня