package exampleShowContext (A:: Set) (B:: Set) where
 
  f (x:: B)
    :: A
    = {! !}