1825.purs

-- @shouldFailWith UnknownValue

module Main where

data W = X | Y | Z

bad X a = a 
bad Y _ = a 
bad Z a = a