Trying to pretty print the following causes pPrint to appear to go into an infinite loop:
Effect (Identity (Step (1 :> Effect (Identity (Step (2 :> Effect (Identity (Step (1 :> Effect (Identity (Step (3 :> Effect (Identity (Step (2 :> Effect (Identity (Step (1 :> Effect (Identity (Step (4 :> Effect (Identity (Step (3 :> Effect (Identity (Step (2 :> Effect (Identity (Step (1 :> Effect (Identity (Return ()))))))))))))))))))))))))))))))))
Trying to pretty print the following causes
pPrintto appear to go into an infinite loop: