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