module T3823A where

data A = X { x :: Bool } | Y

y :: A -> A