path: root/examples/tests/test_nested_for.makkai

let signature F = (n : Nat) -> (m : Nat) -> Set
let instance f :: F = for (n : Nat), for (m : Nat), (Nat :: Set)
let set Result = set-of(f 1 2)