let
is_strict_smaller {ints=i1} {ints=i2} = is_strict_smaller i1 i2