val choose : 'a -> 'a -> 'a