reconsider F = <*> ((D *) *) as FinSequence of (D *) * ;
take F ; :: thesis: F is Matrix-yielding
thus F is Matrix-yielding ; :: thesis: verum