Messing around with type providers