1.Without ⊥TuringCompleteCodata Comonad2. Life without ⊥ loop :: Int -> Int loop n = 1 + loop nloop 0 = 1 + loop 0 0 = 1Int(⊥) 3. Life without ⊥ Simpler language…