A version of containers:Data.Sequence using GADTs instead of nested types