Я бы еще хотел уточнить один момент по статье о

Question

Я бы еще хотел уточнить один момент по статье о

fundeps/multiparamtypeclasses
Там есть попытка сделать класс MonadReader для типов с каиндом Type -> Type -> Type

Выглядеть этот класс будет вот так:
class MonadReader m where
ask :: m r r
local :: (r -> r) -> m r a -> m r a
reader :: (r -> a) -> m r a
Помимо того что мы не можем для такого класса написать инстанс для типа с каиндом Type -> Type
какие еще в этом есть недостатки?

В теории мы ведь можем тип ReaderT переписать вот так
newtype ReaderT m r a = ReaderT { runReaderT :: r -> m a } (переставить переменные типа местами, что бы m был на первом месте)
и успешно написать для такого класса инстанс

Так же инстанс можно сделать для типа newtype Reader r a = Reader { runReader :: r -> a }
Да и в целом я посмотрел инстансы для этого класса вот тут https://hackage.haskell.org/package/mtl-2.2.2/docs/src/Control.Monad.Reader.Class.html#MonadReader
и выглядит так, как будто любой тип в теории можно немного подправить (поменять переменные типа местами) и реализовать инстанс для MonadReader m

Вот тут я сделал реализацию для 2ух типов и в базовом варианте вроде даже все работет - https://replit.com/@GracefulPotato/BrownJoyfulModes#main.hs
Хотелось бы понять почему именно это идея бредовая и какие проблемы из-за этого могут быть.