OH: don't you *want* the warm embrace of a domme in the form of a type-checking compiler?