https://hackage.haskell.org/package/supermonad-0.2.1.1/docs/Control-Super-Monad.html нечто подобное уже даже есть

только трансформация монад это же не про ma1 a -> m2 b, а про Type -> Type

Так тип изменится
UPD а может и не изменяться

Но при этом можно задать нужную логику трансформации и даже после изменения сигнатуры будет можно использовать >>= так, как мы привыкли

ну допустим у нас >>=, который внутри делает лифт

> трансформаторы монад были бы не нужны
так а всё же, как тогда композить монады-то?

Не знаю

Не думал об этом

кроме того, у >>= сигнатура не совсем такая, она Monad m => m a -> (a -> m b) -> m b
какая должна быть сигнатура у того другого варианта?

ещё, отвечая на вопрос "почему" - потому что это _моноид_ в категории эндофункторов, лол.

Типа, моноид относительно операции >>=?

не, моноид образуют return и join, а >>= это вещь производная при такой формулировке

Понял

Спасибо за объяснение

ну типа return :: Identity a -> m a это единица, join :: (m :.: m) a-> m a это бинарная операция, m это носитель

Но нужно будет писать такую функцию для каждой пары m1 и m2

чтобы композить элементы одной монады.

а вы хотите разные монады соединять. вот здесь выше упоминали пакет supermonad, есть ещё indexed

Пытаюсь понять DerivingVia, но что-то непонятное происходит:
data Rad n where
Rad :: (Coercible Double n, RealFloat n)
=> n -> Rad n
deriving RealFloat via Double
GHC жалуется:

* Couldn't match representation of type `Double'
                          with that of `Deg n'
   arising from the coercion of the method `floatRadix'
     from type `Double -> Integer' to type `Deg n -> Integer'
* When deriving the instance for (RealFloat (Deg n))

Почему не совпадает, если я указал, что n и Double Coercible? Только потому, что не newtype, а data?

Да. Ньютайпы имеют одинаковое представление и потому их можно коерцить друг к другу. Дату нельзя

ну, это конечно основная причина, но даже если бы было можно коерсить из даты в значения внутри (что наверное можно сделать в строгом случае), то нужно еще не забывать, что Rad - это тройка, внутри Rad лежат два инстанса и Double (возможно Coercible инстанс стирается, и лежит только один инстарнс и Double)

пара из инстанса и Double никак не матчится с просто Double

Ого, не знал, что информация об инстансах лежит в рантайме вместе с данными. Познавательно 👀