LinearPatSyn.hs:13:4: error: • Couldn't match type ‘'Many’ with ‘'One’ arising from a non-linear pattern • In the pattern: P y x In an equation for ‘s’: s (P y x) = (y, x)