Trying oit mind blowing stuff with Identity applicative monad and converting
Monoids into Applicative Monoids