flix
enum WithMap[t: Type, a: Type, b: Type]
case WithMap(a -> b, t)
Type of ForEach views that apply a mapping function to each element.
ForEach
instance ForEach[WithMap[t, a, b]] with ForEach[t] where ForEach.Elm[t] ~ a
type Elm = b
type Aef = Aef[t]