module Main where

type Foo a a = a