/dev-haskell/invariant/