Extra instances for control-monad-free types