ThisHandler

Namespace for convenient versions of ThisHandler type alias, specialized by partially applying some or all of its type parameters.

For example: ThisHandler.FromId.ToId.Free is equivalent of ThisHandler[[X] =>> X, [X] =>> X, Any]

This works like type-level "fluent interface", where:

• FromId and FromConst partially apply F[+_] parameter of ThisHandler type.
• ToId and ToConst partially apply G[+_] parameter of ThisHandler type.
• Free partially applies N parameter of ThisHandler type.