Functors to Monads: A Story of Shapes