The casts are necessary as the structs cannot be defined in the `join`
module as long as it is still dim-dependent.