Promotion of type classes done, protion of instances in progress