mercury is really nice. For example, it has uniqueness typing for IO combined with syntactic sugar to make all of this rather terse.