Type system for Ruby supporting coercions, constraints and complex types.
https://dry-rb.org/gems/dry-types/