On Mon, Feb 15, 2016 at 12:57 PM, Eric Seidel <eric at seidel.io> wrote: > It looks like it is. According to [1], the context must have the form `C > a` unless FlexibleContexts is enabled. Works for me, thanks!