T17218.hs:11:1: warning: [GHC-62161] [-Wincomplete-patterns (in -Wextra)]
    Pattern match(es) are non-exhaustive
    In an equation for ‘f’: Patterns of type ‘T’ not matched: P