small example of a strict map using existential types