:set -XRecursiveDo
rec x <- pure ()
print x