Eliminación del azúcar sintáctico: Lista de comprensión en Haskell

¿Puedo anular la comprensión de la lista en esta expresión:

[(i,j) | i <- [1..4], j <- [i+1..4]]

Esta es la salida:

[(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)]

¿Cómo puedo, con mapa, filtro, etc., escribir ese fragmento de código?

edita

Aquí hay otro:

[(i,j,k) | i <- [1..6], j <- [i+1..6],k <- [j+1..6]]

Esta es la salida:

[(1,2,3),(1,2,4),(1,2,5),(1,2,6),(1,3,4),(1,3,5),(1,3,6),(1,4,5),(1,4,6),(1,5,6),(2,3,4),(2,3,5),(2,3,6),(2,4,5),(2,4,6),(2,5,6),(3,4,5),(3,4,6),(3,5,6),(4,5,6)]

Respuestas a la pregunta(4)

Su respuesta a la pregunta