これは Trans というより Lift にしよう。 get も Get だし put も Put だし。