1/1: Building Do (Do.idr)Main> Just (S (S (S Z)))Main> Just ZMain> Just (S (S (S Z)))Main> Just ZMain> Bye for now!