TypedFoldApp implements the 'app-full fold'

- this means that it does not show curried application.