add maybe_bind_and_return with cs
add seq_bind_and_return w cs
add seq_bind_and_return w fs