definition module main

:: T = A | ..