Nitpick about pattern matching
Update behavior during >>= switch