Powersets of terms and composite monads | Publicación