what would be the intention of such a type spec?