>>778
>return (ha:hb:hc:[])　は、「"abc"を出力する動作」で、これが返り値。でも、その返り値は使われてない。
違う。return (ha:hb:hc:[])は、「なにもしない動作」で、(ha:hb:hc:[])が返り値。
一般にreturnは何もしない動作を表すw。