use the class associated type family trick to force the right 'shape'
for Ran and Lan as well.