Programming notes typelevel/cats Semigroup Monoid Functor Apply Applicative Monad Traverse Identity Xor Validated shapeless Polymorphic Function Values Heterogenous Lists - 1, Heterogenous Lists - 2 Tuples Arity HMap Singletons Literals Coproduct - 1, Coproduct - 2 Generic Lenses Auto Typeclass Derivation - 1, Auto Typeclass Derivation - 2 Lazy - 1, Lazy - 2 Type Safe Cast Type Checking standard library Assert Class Option Object
