Monad - simple example definition

less than 1 minute read

Combines the following concept.

1. Functor
- Type constructor.
- Value lifting.
- class Functor f where
fmap :: (a -> b) -> (f a -> f b)
2. Bind
- Create a functor then unwrap -> for example, flatMap in optional in Java8.

Updated: