typed random