Clarifications and another problem on PS5.hs