module Mod180_A where

data T = T
x = T