Types do not belong in the signature.