Lab guy stairing into a flask: "Finally, tagless, partially evaluated. Tagless staged interpreters for simpler typed languages"