ghc-exactprint-0.3: tests/examples/ImplicitSemi.hs
{-# LANGUAGE ImplicitParams #-}
explicit :: ((?above :: q, ?below :: a -> q) => b) -> q -> (a -> q) -> b
explicit x ab be = x where ?above = ab; ?below = be
{-# LANGUAGE ImplicitParams #-}
explicit :: ((?above :: q, ?below :: a -> q) => b) -> q -> (a -> q) -> b
explicit x ab be = x where ?above = ab; ?below = be