aListDelete :: Eq k => k -> [(k,a)] -> [(k,a)]
aListDelete k ps =
  [ (k',a)
  | (k',a) <- ps
  , k /= k'
  ]
aListDelete :: Eq k => k -> [(k,a)] -> [(k,a)]
aListDelete k ps =
  [ (k',a)
  | (k',a) <- ps
  , k /= k'
  ]
aListDelete k ps =
  [ (k',a)
  | (k',a) <- ps
  , k /= k'
  ]