title: Type Providers - Could I generate a type at compilation-time that decorates all methods of a type somehow?
body: <p>I've read about the great capabilities of Type Providers, such as static-typing when querying JSON documents, so I can imagine that I can create what I have in my mind at the moment, with this technology.</p>
  
  <p>Let's say I want to allow a consumer of my TypeProvider-library Foo a way to create a type Bar, which will have the following pre-condition for each of their methods: check the mutable state of a <code>boolean disposed</code> field, if it's true, throw an ObjectDisposedException.</p>
  
  <p>Would this be possible? How could one define such an implementation of this high-level type creator?</p>