Compiling program test029
45th is 8
Builtins::Project_From_Non_Union
Builtins::Getting_Tag_From_Non_Union
Prelude::CantDerefNothing thrown at test029.k:25
test029::main [entry point]
