вот это неправда, все эти реализации будут поддерживать разный набор фич и только ещё больше дырявить абстракцию
Да, будет программирование на этой io-монаде. Котлин как раз дает все инструменты. Там немного сложнее делать тайп-сейф слой, зато удобно его сопрягать с внутренностями.