module T5385a where

data T = Int ::: Int