Why use this over Equinox's Module, plus jaxtyping? That seems like the cleaner (and more established) solution, but maybe there are pros/cons I'm not seeing.
As I understand, hijax types can specify how Jax transformations apply to them, ie.e. how they are differentiated, vmapped, ...