モナドのいくつかの例を私に挙げていただけませんか？その実装SIMを詳細に説明してください。
確かに！```Maybe```、```List```、```State```は、通常モナドを説明するときに最初に使われる例だ。

```Monad```クラスは次のように実装されている：
```
class Monad m where
  (>>=)  :: m a -> (  a -> m b) -> m b
  (>>)   :: m a ->  m b         -> m b
  return ::   a                 -> m a
```
として実装されます。