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