Löb and Möb: Loops in Haskell