module Main where import Prelude type T = T