Hacking away at little type systems.
Currently working on the type checker for the Simply Typed Lambda Calculus in STLC.hs
Might (d?)evolve into attempts at working through the type systems mentioned here: https://users.cs.northwestern.edu/~jesse/course/type-systems-wi18/type-notes