Can someone explain to me by GHC 8 causes list comprehension bindings to desugar to use 'fail', when RebindableSyntax is enabled in GHC 8?  Note that I do not have monad comprehensions enabled.  If I define fail, everything works (apparently regardless of what I define fail to do?!?), but I'd like to understand why it's necessary.

Thanks,

Chris