exists Nothing :: Floop a mp => Existential mp