Nah. check :: Bool -> a check True = undefined check False = undefined check _ = undefined 7:1: warning: [GHC-53633] [-Woverlapping-patterns]

Nah. check :: Bool -> a check True = undefined check False = undefined check _ = undefined 7:1: warning: [GHC-53633] [-Woverlapping-patterns] Pattern match is redundant In an equation for ‘check’: check _ = ... | 7 | check _ = undefined | ^^^^^^^^^^^^^^^^^^^^^^^