Algebraic Types - raisercostin/software-wiki GitHub Wiki intro to cats library - https://blog.rockthejvm.com/cats-typeclass-hierarchy/ monoid, flatmap, map