1 2 3 4 5 6 7 8
{-# LANGUAGE ImplicitParams #-} module T11793 where class C a where op :: (?x::Int) => a -> a -- Should be OK even without ConstrainedClassMethods