Having your compile-time cake and eating it too