I don't think so? I'm not very well up on my OOP patterns, but in my mind the builder pattern in OOP corresponds to the initial algebra pattern in FP, and initial algebras can model domains with or without that kind of restriction. I think they're basically orthogonal.