I experimented using MonadError instead of explici...
# arrow
i