Demonstrates a bug in type provider static parameters