deep coercions for Maybe