MLやHaskellやSchemeはその両者間の行き来が十分に自然じゃないってこと?