initial algebra tests with monoids and monoid actions