Cabal team member. Postdoc at Purdue University. I like it when types help to produce efficient code.