Adding instances for ContT