Schemeでいうと (define (hungry x) hungry) みたいなやつ。ここまではできた。参考: https://github.com/jstolarek/sandbox/blob/master/haskell/Hungry.hs Prelude> :set -XRankNTypes Prelude> data Hungry = Hungry { (%) :: forall b. b -> Hungry } Pr…