module MatchSemis where { a 0 = 1; a _ = 2; }