reduction monotype