concrete RelativeTMP of Relative = CatTMP ** open
  ResTMP, Prelude in {

{-
lin
  -- : Cl -> RCl ;            -- such that John loves her
  RelCl cl = cl ** {
    } ;

  -- : RP -> VP -> RCl ;
  RelVP rp vp = {
    } ;

  -- : RP -> ClSlash -> RCl ; -- who I went with
  RelSlash rp cls = {
    } ;

  -- : RP ;
  IdRP = {s = "that"} ;

  -- : Prep -> NP -> RP -> RP ;  -- the mother of whom
  FunRP prep np rp =
-}
}