The Incredibly Slow Typechecker from The Extremely Inefficient Programmer