1{-# LANGUAGE RankNTypes #-} 2 3module MultiCtxt where 4 5multipleCtx :: Eq a => (Show a => a) 6multipleCtx = undefined 7