Matthew Pickering authored Feb 15, 2020 and Marge Bot committed Feb 21, 2020

The invariant which allowed the pervious method of splitting the type of
the body to find the type of the elements didn't work in the new
overloaded quotation world as the type can be something like
`WriterT () m a` rather than `Q a` like before.

Fixes #17839