Messing around with HTML type provider