{L : FirstOrder.Language} →
  {M : Type w} →
    autoParam ({n : ℕ} → L.Functions n → (Fin n → M) → M) FirstOrder.Language.Structure.funMap._autoParam →
      autoParam ({n : ℕ} → L.Relations n → (Fin n → M) → Prop) FirstOrder.Language.Structure.RelMap._autoParam →
        L.Structure M