finally :: InUnion fs IO => Eff fs a -> Eff fs b -> Eff fs a
finally thing ender = inj (E.finally (return thing) (return ender)) `Then` id
finally :: InUnion fs IO => Eff fs a -> Eff fs b -> Eff fs a
finally thing ender = inj (E.finally (return thing) (return ender)) `Then` id
finally thing ender = inj (E.finally (return thing) (return ender)) `Then` id