module test

import StdEnv

:: T a = T a & toString a

Start :: T (T Int)
Start = T (T 42)