Cold calculating types not easily trusted right?