@@ -1010,7 +1010,7 @@ orderPats tm = op [] tm
10101010 where
10111011 op ps (Bind n (PVar t) sc) = op ((n, PVar t) : ps) sc
10121012 op ps (Bind n (Hole t) sc) = op ((n, Hole t) : ps) sc
1013− op ps sc = bindAll (map (\ (n, t) -> (n, t)) (sortP ps)) sc
1013+ op ps sc = bindAll (sortP ps) sc
10141014
10151015 sortP ps = pick [] (reverse ps)
10161016