[TYPES] seeking correct term for a quasi-dependent type

[Norman Ramsey]

Regarding

 >   outputFact :: forall a . a -> Info a
 >   type family   Info a :: *
 >   ...

Thanks to all for your help.
I am better informed, and at the very least I know that
there is not a standard term for what I am looking for.
I like the analogy with functional dependencies and
the qualified type

  outputFact :: b ~ Info a => a -> b



Norman