Joachim Breitner authored Feb 07, 2014 and thoughtpolice committed Feb 17, 2014

the ConTag may be out of range (e.g. if the type constructor is imported
via SOURCE and we don't know any of its data constructors); just return
Nothing without complaining in that case. This fixes #8743.

(cherry picked from commit 312686c1)