Add: Ran f (Codensity g) ~> Ran (Compose f g) g

Useful?

```haskell
composeRan' :: forall compose f g a. Composition compose => Ran f (Codensity g) a -> Ran (compose f g) g a
composeRan' = coerce (composeRan @compose @f @g @g @a)

decomposeRan' :: forall compose f g a. (Composition compose, Functor f) => Ran (compose f g) g a -> Ran f (Codensity g) a
decomposeRan' = coerce (decomposeRan @compose @f @g @g @a)
```