An Obj.Source either has an LObj peer, or it can make one. The latter is represented by sub-trait CanMake.
Obj.Source
LObj
CanMake