Incompatible Type For Argument 1 Of Free