This similarity stems from the fact that both notions rely on the same mathematical fundamental of an existential type.
Tato podobnost vyplývá z faktu, že se oba pojmy zakládají na matematickém fundamentu existečního typu.