let _ = (3 : Nat8) ** (6 : Nat8)