>>44
普通に、
(unit -> 'a inflist) を呼んだのとあまり違いがないようにも思えますが・・