Add contravariant laws; test them on Function1.
Contravariant instance for Kleisli.
Merge pull request #287 from S11001001/topic/contravariant

Contravariant laws; instance for Kleisli.