importJava "java.util.Arrays" where
    toString :: MVector /*Double*/ -> String

main = "Not to be executed."
--
???