Cannot Infer Type Variable S R A Capture 1 Of T