add FromKleisliLike inference test