Seol mar théacs é seo: Strictness Analysis for Higher Order Functions