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.