type Fn1 = fn ()

type Fn2 = Fn1