Learning Functional Programming in Go

Morphism examples

The a → b statement says that if we provide an element a to our function, then our function will produce an element of b. The same goes for logical implication: if a is true then b is true.

If we have a function type a ⇒ b and pair it with an element of a, we get an element of b.