Siguiente elemento en una lista

Definir la función

tal que (siguiente x ys) es justo el elemento siguiente a la primera ocurrencia de x en ys o Nothing si x no pertenece a ys. Por ejemplo,

Soluciones

5 Comentarios

  1. Aprovechando que Maybe es una mónada

    Usando monad comprehension

    1. La definición es semánticamente equivalente a la primera salvo que no tiene la guarda (return == Just para Maybe). El no tener la guarda provoca que para el caso

      La desugarización de la notación con do de la versión monádica (con guarda) sería

Escribe tu solución