module Multiple

import Prelude.Vect as X
import Prelude.List as X