IMO Nickel looks better in this regard as it allows you to use typing only when it helps. Plus, it has contracts that complement the type system.