examples done
	modified:   FunctorCat.agda
	modified:   Monoids.agda