Data.Monoid.Deletable

data Deletable m

unDelete

toDeletable

deleteL

deleteR