RFC: Pattern Guards with Bind-By-Move