ds006.hs:6:5: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ā€˜vā€™: v | False = ...