Experiments with the Haskell in order to figure out what monad actualy is