() / (()) conversion in curried generic input types

Yes, the generic parameter represents exactly one type (not zero, not two or more). See somewhat related discussion in this post and replies.