Tony Morris

@casualjim What would you like to learn exactly?

@dibblego well so far I've learnt how to use monoids and monads etc in scalaz. So now I'm at kleisli stuff, why do I need that?

@casualjim Ever used function composition? f(g(x))

@dibblego all the time. I've used andThen and friends a lot of the time

@casualjim So then, you've used this function: (A => F[B]) => (B => F[C]) => A=> F[C] where F=Identity

@dibblego Yes indeed I have used that function

@casualjim So then, you've used this function: Kleisli[F, A, B] => Kleisli[F, B, C] => Kleisli[F, A, C]

@dibblego @casualjim Kleisli[F, A, B] => Kleisli[F, B, C] => Kleisli[F, A, C] is of the form Cat[A, B] => Cat[B, C] => Cat[A, C] right?