{-# LANGUAGE ScopedTypeVariables #-}
module T16385 where

instance c
instance forall c. c