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