Got implicit resolution during expansion to work. WIP re-working
type class metadata.