Monads and compositionality

Under construction

• categories
• functors
• monads
• componsition