Oh no, I get it; the first argument _is_ the type parameter (?\!)