purescript-0.11.3: examples/failing/2806.purs
-- @shouldFailWith NoInstanceFound module X where data E a b = L a | R b g :: forall a b . E a b -> a g e | L x <- e = x
-- @shouldFailWith NoInstanceFound module X where data E a b = L a | R b g :: forall a b . E a b -> a g e | L x <- e = x