module Main where
	
import Effect.Console (log)

data T a = T
	 
ti :: T Int
ti = T

t :: forall a. T a
t = T

xs = [ti, t, t]

main = log "Done"