Hyper-Typing

I am not a hyper-typer, but I’m always fascinated when I open a types file and they are WILDLY DIFFICULT to parse