Does this mean that I cannot just strip the types any more?