lambda liftなんてあるのか。
でもいまの話ってtype lift（型持ち上げ）の話だろ。