import Data.Random
sample $ randomElement  [1, 2, 3]