TypeApplications are an alternative to type annotations when the compiler struggles to infer types for a given expression.
This series of examples will explain the purpose of the TypeApplications extension and how to use it
Don't forget to enable the extension by placing {-# LANGUAGE TypeApplications #-} at the top of your source file.