some (hackage): Existential type.
Keywords: bsd3|data|dependent-types|library