Because the interface has a few complicated rules associated with it. If you break them, the compiler may accept your code but it won't work with a lot of libra

Because the interface has a few complicated rules associated with it. If you break them, the compiler may accept your code but it won't work with a lot of libraries that are supposed to work with any monad.