type alias Ġf Ġ= Ġ((( S ). () Ġ-> ĠS ). () Ġ-> ĠS ) Ċ type alias Ġf Ġ= Ġ(( T . () Ġ-> ĠS ). () Ġ-> ĠS ) Ċ type alias Ġf Ġ= Ġ(( T . T . () Ġ-> ĠS ). () Ġ-> ĠS ) Ċ type alias Ġf Ġ= Ġ(( T < A , ĠB >. T < x >. () Ġ-> ĠS ). () Ġ-> ĠS ) Ċ type alias Ġf Ġ= Ġ((( S ). () Ġ-> ĠS ). () Ġ-> ĠS ) Ċ Ċ type alias Ġf Ġ= Ġ Ġ@ [ a ] Ġ(@ [ a ] Ġ(( S ). () Ġ-> ĠS ). () Ġ-> ĠS ) Ċ type alias Ġf Ġ= Ġ@ [ a ] Ġ(@ [ a ] Ġ( T . () Ġ-> ĠS ). () Ġ-> ĠS ) Ċ type alias Ġf Ġ= Ġ@ [ a ] Ġ(@ [ a ] Ġ( T < A , ĠB >. () Ġ-> ĠS ). () Ġ-> ĠS ) Ċ type alias Ġf Ġ= Ġ@ [ a ] Ġ(@ [ a ] Ġ(( S ). () Ġ-> ĠS ). () Ġ-> ĠS )