普通の関数型言語に比べてどういうメリットがあるのか分からない。