I find it funny that type systems often confuse me even though theyre trying clarify the the components, and while in a few more seconds i can parse them, i simply cant scan them.

So even though i can write systdms complicated enought to require good types, because naming fails, i cannot because the use of all the arbitrary symbolics is a speed bump.