module Pandora.Paradigm.Structure.Ability.Deletable where

import Pandora.Core.Functor (type (:=:=>))
import Pandora.Pattern.Object.Setoid (Setoid)

infixr 3 -=

class Deletable t where
	(-=) :: Setoid a => a :=:=> t