PatternEq.hascasl revision aa60342b6a000c6798730e1b1ddeec846254c62c
type s, t
op snd : s * t -> t
program snd (x, y) = y
program snd (x : s, y : t) : t = y