val it : α → α = fun

「ペディア」の方にこそアイデンティティが潜んでいる(ように思える)からだな、とふと思った。

携帯電話を(「携帯」じゃなく)「電話」と略したりはしないようなもので(少なくとも今は)。