invalid returns an IO that fails, that is easy
# arrow
p
invalid returns an IO that fails, that is easy