liquidhaskell-0.7.0.0: liquid-fixpoint/tests/pos/func-arg.fq

bind 0 foo : {VV : func(0, [func(0, [int])]) | []}