Avatar
ああ、HaskellのData.Theseみたいな話ですか?