module OverlapAcrossModules.X where
import OverlapAcrossModules.Class
data X
instance cxy :: C X y