PolyKinds -> KindSignatures
Kleisli instances
Endo & State
Added Kleisli category instances