Replace type families by GADTs for associating a monad with a mutable vector