# Irrigation

Uses the functor, monoid and identity rules.