options: 1. use fundep or typefamily to define clear injectivity if any 2. if not, live with type application "@t" 3. or, pass proxy.