Going trough the Functor & Monoid chapter of LYAH