import "Prelude" f :: Integer -> Maybe Integer f = index [(1,2),(2,4),(3,6),(4,8)] main = f 3 -- 6