module A where

data A''