fold Types::Standard::DeepCoercion into Types::Standard