splitBinder m = error $ concat ["Not a single-argument lambda: ", show m]
splitBinder m = error $ concat ["Not a single-argument lambda: ", show m]
splitBinder m = error $ concat ["Not a single-argument lambda: ", show m]