Introduce List monad description + example code