The blue social bookmark and publication sharing system.
Log in with your username.
I've lost my password.
Log in with your OpenID-Provider.
GHC extension Existential types can be used for several different purposes. But what they do is to 'hide' a type variable on the right-hand side.