return () << [1,2,3] が [1,2,3] を返すのは何で？ ()モナドの定義？