Release has signature `(A) -> IO<Unit>` b...
# arrow
s
Release has signature
(A) -> IO<Unit>
but if acquiring
A
fails there is no way to call this function.