- filled
&F[A] -> B -> F[B] where F: MappableEvery value in a container replaced by one value.
fn
- Mappable
Something that holds values and can have every one of them transformed
trait
- over
&F[A] -> fn(A) -> B -> F[B] where F: MappableEvery value in any container transformed.
fn