型推論がうざい。どう推論されるか知ってないとプログラムできない。
意味あんの？