Unless you have dependent types, isn't a contract just syntactic sugar for an if/else that either raises and exception or returns an error code?