ok with a small tweak I can see "case" a1 value is x: result1 x = case x of a1 -> trace (show a1) "one" 2 -> "two"