type-specs DONE