Without IO `Type mismatch. Required: Kind<ForIO...
# arrow
s
Without IO
Type mismatch. Required: Kind<ForIO, Int>