applyMod (CannotHaveAttribute attr) = execState $ do
  attributes %= delete attr
  cannotHaveAttributes <>= [attr]
applyMod (CannotHaveAttribute attr) = execState $ do
  attributes %= delete attr
  cannotHaveAttributes <>= [attr]
applyMod (CannotHaveAttribute attr) = execState $ do
  attributes %= delete attr
  cannotHaveAttributes <>= [attr]