flix
enum WithFilter[t: Type, a: Type]
case WithFilter(a -> Bool, t)
Type of ForEach views that filter out elements that do not match a predicate.
ForEach
instance ForEach[WithFilter[t, a]] with ForEach[t] where ForEach.Elm[t] ~ a
type Elm = a
type Aef = Aef[t]