Are you sure? There are plenty useful monads which are not effects... In fact the article you linked even says so.