Si j'étais (plus que je ne suis) débutant, je ne suis pas sûr que cette façon de voir m'éclairerait.

En même temps, dire qu'une monade est un type paramétré appartenant à la classe Monad, donc...