Add width inference for Maybe.