)abbrev package TESTP TestPackage
TestPackage(T:SetCategory) : with
    _*: (List((T->T)),List((T->T))) -> (T -> List T)
  == add
    import MappingPackage3(T,T,T)
    fs * gs ==
      ((x:T):(List T) +-> [(f*g) x for f in fs for g in gs])