import "Prelude" import "Vector" main = fromDynamic (toDynamic (vector [3 :: Double])) :: [Double] -- [3.0]