module Decl.ParamDataType where

data A a = B Int | C a

data X a = X a