module Example ([]((:),[])) where
import Prelude([]((:),[]))