Scala で Church 数を書いてみた(途中)

Scala 座があるので，Scala を使ってみようということで，
Church 数を書いてみた．が，書けなかったという話．

コメントアウトしてある型パラメータ版だと，
Nothing は，A に入りません．って怒られるのです．

これはどうやって解決したらいいんですかね？
識者の意見を求む．