TypeScriptでプロパティにメソッドを与えたときの型について

前情報

TypeScriptの超初心者です。
調べてもうまく答えにたどり着かず、アドバイスいただければと思います🙇‍♂️

やりたいこと

• メソッドを含めたオブジェクトのリテラルを宣言する。
• メソッドは?とする。
• メソッドを実行する。

  type Animal = {
    name: string
    fly?: ()=>{} // 1.
  }
  const falcon: Animal = {
    name: '鷹',
    fly(): string { return this.name + 'が飛んだ' } 
  }
  falcon.fly() // 2.

わからないこと

1. flyのリテラル

()=>{}でエラーにはならないけど、正しく書けているのかわかりません。

アドバイスがあればお願いします。

2. flyの実行

undefinedの可能性があるものは実行できません。それでも?を利用したい場合、どのように記述するべきなのでしょうか？
?