reg052.idr

impure_op : Bits64 -> IO Bits64
impure_op foo = return $ foo + 1

impure_int : IO Int
impure_int = return 41

main : IO ()
main = impure_int >>= impure_op . prim__zextInt_B64 >>= printLn