#444 pushE.hsとpushT.hsの共通部分をモジュールPushにくくり出した