import "Prelude" import "Vector" main = (fromDynamic (toDynamic ["42"]) :: (Vector Double))!0 -- 42.0