functional $ Proc0 :: defaultinit

interface Proc0
	super Proc
	fun call is abstract
end