Solution for join
Solutions for bind flipped and kleisli composition