T18341.hs:12:18: warning: [GHC-94210] [-Woverlapping-patterns (in -Wdefault)]
    Pattern match has inaccessible right hand side
    In an equation for ‘f’: f (MkT _ _ _) | False = ...

T18341.hs:13:18: warning: [GHC-53633] [-Woverlapping-patterns (in -Wdefault)]
    Pattern match is redundant
    In an equation for ‘f’: f (MkT !_ _ _) | False = ...

T18341.hs:17:18: warning: [GHC-94210] [-Woverlapping-patterns (in -Wdefault)]
    Pattern match has inaccessible right hand side
    In an equation for ‘g’: g (MkT _ _ _) | False = ...

T18341.hs:18:18: warning: [GHC-53633] [-Woverlapping-patterns (in -Wdefault)]
    Pattern match is redundant
    In an equation for ‘g’: g (MkT _ !_ _) | False = ...

T18341.hs:22:18: warning: [GHC-94210] [-Woverlapping-patterns (in -Wdefault)]
    Pattern match has inaccessible right hand side
    In an equation for ‘h’: h (MkT _ _ _) | False = ...

T18341.hs:23:18: warning: [GHC-53633] [-Woverlapping-patterns (in -Wdefault)]
    Pattern match is redundant
    In an equation for ‘h’: h (MkT _ _ !_) | False = ...