Anfonwch hwn fel neges destun: Strictness Analysis for Higher Order Functions