module Main where

type T = T