definition module main

:: Poly a = Poly a | ..