reg052.idr

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

impure_int : IO Int
impure_int = pure 41

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