We don't usually do type checking, so it's best to just omit this wrapping