[folkrav]

If I can express something using the type system I'll always go with that first, so I don't even need the test to enforce the same contract.