Due to the accepted "monad of no return" proposal, return becomes an
alias for pure. Return can be a pitfall for newcomers, so we decided to
use pure instead.

Co-authored-by: Jan Beinke <git@janbeinke.com>