クラス定義するときに ((->) a) みたいに書くと入力側が a であるような手続きの型を生成する型コンストラクタになるじゃん？
出力側を固定するような型コンストラクタってどう書けばいいの？