Type specs, compiles