@RebeccaSkinner
On page 57 (B9.0)
The if conditions in foldr expansion are not reducing:
eg the second one should be if null [2,3] etc
if null [2,3]