type IntegerList = [Integer]
type DoubleList = [Double]

convert :: IntegerList -> DoubleList
convert v = v

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