In this post, we allow our compiler to throw away invalid programs, detected using a monomorphic typechecking algorithm.| danilafe.com
