Bartosz Milewski Category Theory Lectures → 3.1 Examples of categories, orders, monoids → Typing →
#
>

Types in a monoid #card #bidirectional

1
#
>

any two functions are composable

→
#
>

corresponds to weak typing

→