Try to rewrite bind to then

Add RULES to (effectively) rewrite xs >>= const ys to xs *> ys