import prelude 

main = x :: y :: z :: []