House Today (2)

Does the Haskell type system give us what we need?