ReifiedProgramT書きましたのでよろしければpullお願いします

データ構築子のLiftがちょっとキモいですが…他に思いつかなかったのでとりあえず