for f being Function holds
( <:{},f:> = {} & <:f,{}:> = {} )