Is there a version of (e)constructor that only succeeds when there's an unambiguous choice of constructor to apply?
(e)constructor
Last updated: Oct 03 2023 at 21:01 UTC