Wouldn't it be better to check/fix only the inout mod instead of copying the whole type?