Я ☞ Operators ☞ la

Precedence: 8

`la` - Factor through a co[L]imit contr[A]variantly

`la` : from a o `AR` from aa o `AR` from (a `ML` aa) o

This operator is useful for pattern matching - it derives a type to a sum automatically.

• You can inspect a List on a sum of Unit object (which means that it’s empty) and a Nonempty List.