educeReceipiants :: Name -> ConstraintMap -> ConstraintMap
reduceReceipiants key = fmap (delete key)

reduceReceipiants :: Name -> ConstraintMap -> ConstraintMap
reduceReceipiants key = fmap (delete key)
reduceReceipiants key = fmap (delete key)