1/2: Building Stuff (Stuff.idr)2/2: Building Wheres (Wheres.idr)Wheres> [3, 2, 1]Wheres> 8Wheres> 84Wheres> Bye for now!