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