bind package:non-empty

Implementation of >>= without the Empty constraint that is needed for return.