module Inline where

data A
instance Eq A where (==) = _