GitHub repository: purescript/purescript-exists
Primary language: PureScript
Description: Existential types as a library