{-# LANGUAGE RankNTypes #-}
module MultiCtxt where
 
multipleCtx :: (Eq a) => ((Show a) => a)
multipleCtx = undefined