\begin{code}
-{-# OPTIONS_GHC -XNoImplicitPrelude #-}
+{-# LANGUAGE NoImplicitPrelude
+ , ExistentialQuantification
+ , MagicHash
+ , DeriveDataTypeable
+ #-}
{-# OPTIONS_HADDOCK hide #-}
-----------------------------------------------------------------------------
-- |