> I'd love if it somebody could take them one step further and have it so that if a hole is evaluated at runtime, a prompt came up and said "Well this is the input, what do you think the output should be?"

For some cases, this is pretty simple to implement with unsafePerformIO - I've done that once or twice. Not a sin at all in development.