module Lib (X, Y) where

data X = X
type Y = X