Move and expand (slightly) TypeApplications docs
Move and expand (slightly) TypeApplications docs

[skip ci]

snoyberg/ghc,sgillespie/ghc,snoyberg/ghc,mcschroeder/ghc,olsner/ghc,mettekou/ghc,vTurbine/ghc,mcschroeder/ghc,shlevy/ghc,sdiehl/ghc,tjakway/ghcjvm,mettekou/ghc,snoyberg/ghc,vTurbine/ghc,snoyberg/ghc,snoyberg/ghc,vikraman/ghc,sdiehl/ghc,olsner/ghc,vikraman/ghc,mcschroeder/ghc,mcschroeder/ghc,ezyang/ghc,sgillespie/ghc,ezyang/ghc,tjakway/ghcjvm,tjakway/ghcjvm,sgillespie/ghc,mettekou/ghc,shlevy/ghc,shlevy/ghc,vTurbine/ghc,tjakway/ghcjvm,sgillespie/ghc,snoyberg/ghc,shlevy/ghc,tjakway/ghcjvm,olsner/ghc,ezyang/ghc,snoyberg/ghc,vikraman/ghc,sdiehl/ghc,vikraman/ghc,sdiehl/ghc,tjakway/ghcjvm,mettekou/ghc,mettekou/ghc,sdiehl/ghc,sdiehl/ghc,ezyang/ghc,vikraman/ghc,vikraman/ghc,shlevy/ghc,vTurbine/ghc,ezyang/ghc,vTurbine/ghc,mcschroeder/ghc,shlevy/ghc,vTurbine/ghc,sgillespie/ghc,olsner/ghc,olsner/ghc,tjakway/ghcjvm,mettekou/ghc,sdiehl/ghc,vTurbine/ghc,sgillespie/ghc,sgillespie/ghc,olsner/ghc,vikraman/ghc,olsner/ghc,ezyang/ghc,shlevy/ghc,ezyang/ghc,mettekou/ghc,mcschroeder/ghc,mcschroeder/ghc