Investigate rewriting `>>=` to `*>` or `>>` for appropriate types
When we see
m >>= (\_ -> n) with a type that admits an optimized
<$, we should try to take advantage of that. I don't currently know if this applies to any types under "GHC HQ" control.