Preventing Inferred Types from Being Altered When Matching Objects with `Option`s - Effect Community