The researchers explored a new way to understand monads in computer programming. They introduced a concept called semifree monads to study how monads can be combined and used in programs. They found that the semifree monad can be created from an existing monad in a consistent way. Additionally, they discovered that semifree monads have specific properties that make them useful for certain tasks in programming.