module Mod180_B where

data T = U
x = U