yep, this is clearer than newtype Bool. "If"s may be replaced with "case", and code becomes shorter.

Nice one.