data A = A -- | a number Int Bool