Use `Hierarchy` to provide `/` method on a `Root`

[propensive]

This probably requires the re-addition of the RootType type parameter to Hierarchy.

[propensive]

This doesn't look easily possible, at least not with a lot more messing around with typeclass types.