isolating problem with type class fibrancy inference