So have any of you folkies seen any type systems that have first class static effects? Thinking like having an effect system for type providers, generative definitions (like data types, modules), parser alteration - like adding notation, imports etc? Is this utterly crazy?