In this talk, I show how we have created a functional architecture on 9 Cards Project with the support of great libraries from the Typelevel ecosystem such as Cats and Monix
where T is an endofuntor T: X ->X and n: I -> T and u: T x T -> T are 2 natural transformations satisfying these laws: Identity law: Associative law: u(n(T)) = T = u(T(n)) u(u(T x T) x T) = u(T x u (T x T))