interface Fun0[RESULT]
	super Fun
	fun call: RESULT is abstract
end