и как только ты реализуешь 1.5 метода из тайпкласса монады они все становятся доступными
ну, для того, что есть в языке не удивительно, что добавлены всякие крутые декларативные фичи. Но как это реализовано для моих типов данных, когда я хочу своим так управлять? Я что-то не понимаю, как это возможно