pub fn reduce(m: &Mapped) -> Option<Type>