deftypes always close over their fields