type List a = [a]

convert :: List Integer -> List Double
convert v = v

main = "Not to be executed."
--
4:13-4:14: Expected <[Double]> got <[Integer]>.