It does, it's ambiguous to have `Constructor.fun` for this reason.