http://www.haskell.org/ghc/docs/6.10.1/html/libraries/ghc/Coercion.html
ʂ̃TCgɃWv悤ƂĂ܂BXΏL̃NNbNĂ
UPLIFTōLȂő̌܂傤IKȉ{Ct܂I