path: root/tests/capture.ur

val y = []

type foo = int
val z : list {F : foo} = y