functional :: Proc2 :: defaultinit
interface Proc2[A0,A1] super Proc fun call(a0: A0,a1: A1) is abstract end