No es posible "anidar" salvaguardas. Todas las salvaguardas tiene que estar referidas a una expresión lógica:
| condicion1 = accion1
| condicion2 = accion2
| otherwise = accion3
Aquí otherwise
se usa por claridad, pero no deja de ser un alias de true
para que funcione como caso por defecto.
Para lo que pides, habría que especializar la expresión de salvaguarda:
| condicion1 && condicion_extra = accion1_extra1
| condicion1 && not condicion_extra = accion1_extra2
| condicion2 = accion2
| otherwise = accion3
Como las salvaguardas se evaluan en orden, se puede evitar evaluar la expresión negativa:
| condicion1 && condicion_extra = accion1_extra1
| condicion1 = accion1_extra2
| condicion2 = accion2
| otherwise = accion3
De todos modos, siempre se podría haber usado una sentencia if..then
o case..of
para hacer lo mismo, todo depende de lo complejas que sean las expresiones:
| condicion1 = if condicion_extra then accion1_extra1 else accion1_extra2
| condicion2 = accion2
| otherwise = accion3
O también, emplear una expresión auxiliar:
| condicion1 = accion1'
| condicion2 = accion2
| otherwise = accion3
where accion1' | condicion_extra = accion1_extra1
| otherwise = accion1_extra2