x: Explain the unusual type declaration