Unify two dependent types

[jackfoxy]

trafficstars

With my skill set and knowledge I have been unable to unify the two types of dependent type in this project into a single type, with the constraint the SomeDependentType continues to lift option up to SomeDependentType.

The only path I can think of is to make a two entry discriminated union. And since both dependent types expose essentially the same API you would think there must be a way to make this work.

My experience was I would run into issue "A". Correcting for issue "A" I ran into Issue "B"...and back to "A".