module DataAppTyvar where



data A a = A (a Int)