Data.Monoid.Deletable
data
Deletable
m
unDelete
toDeletable
deleteL
deleteR