Determine if swapping the order of the arguments in sequence buys any better ergonomics due to currying, or if it's a pyrrhic victory due to the current overloading strategy (sequence(IO::io) would be ambiguous, for instance, about what the second argument type would be).