I can't find any instructions or tutorials for getting started with jaxtyping. I tried the simples