module T14128Type where

data AType = AType