CHANGELOG ========= 0.1.0 ----- * Add `TypeAlias` * Add `Functor` * Add `Identity` * Add `Mon`