Use <- to extract hashed from IO