got the update spec passing. relation#insert and relation#delete needed to be monads