module Pandora.Paradigm.Structure.Ability.Monotonic where

class Monotonic e a where
	iterate :: (a -> r -> r) -> r -> e -> r

instance Monotonic a a where
	iterate f r x = f x r