Should we also have a `def depth: Int`?