`IO<A>` takes only one type param so there i...
# arrow
s
IO<A>
takes only one type param so there is nothing to partially apply since
typealias IntIO =IO<Int>