module DataContextParen where

data (Eq a) => F a
 = G a