確かに！```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
```
として実装されます。
Sure! ```Maybe```, ```List``` and ```State``` are the first examples usually made when describing monads. 

The ```Monad``` class is implemented as: 
```
class Monad m where
  (>>=)  :: m a -> (  a -> m b) -> m b
  (>>)   :: m a ->  m b         -> m b
  return ::   a                 -> m a
``` 
as explained in https://wiki.haskell.org/Monad