module Box where

main x = x : []