T7145b.hs:6:1: Warning: Defined but not used: ‛pure’