and Colimits” Prev: declarative-programming Next: free-monoids Prev: declarative-programming Next: free-monoids