Apply and Bind instances for FT
F expressed in terms of FT