More strongly typed variant of the ixset Haskell package