delta' :: Eq a => a -> a -> b -> b -> b
delta' x y e f = if (x==y) then f else e
delta' :: Eq a => a -> a -> b -> b -> b
delta' x y e f = if (x==y) then f else e
delta' x y e f = if (x==y) then f else e