module Syntax.ImplicitParam (module X) where
import GHC.Classes as X (IP(..))