polymorphic lens over nominal type. pretty promising.