Add Respond, Kleisli and Pull category tests.

The tests for `` Request `` and `` Push `` categories are missing because I'm not really sure what would be the best base monad choice in order to get something out of the pipe so we can do the equality test.
I also left out the duals as I'm not sure if you are interested to test them.

Please take a look if it's all alright as I am still learning how to use library and I'm sure I made mistakes.
I will then amend the commit with the rest of the tests this week.

Thank you.