Sort u →
  {cfg : Batteries.Random.MersenneTwister.Config} →
    Batteries.Random.MersenneTwister.State cfg →
      {cfg' : Batteries.Random.MersenneTwister.Config} → Batteries.Random.MersenneTwister.State cfg' → Sort u