Can you create a type synonym for a function that takes an implicit parameter?
For shortening things like
def findOnlyOne(f: Node => Boolean)(n: Node)(implicit errorType: String => ValidationError): Either[ValidationError, Node] = ...
which if errorType were not implicit could be something like:
type ValidationF = (Node => Boolean) => Node => (String => U) => Either[U, Node]
findOnlyOne: ValidationF = f => n => onErr => ...
I'm guessing you can't because the name of the implicit parameter is significant to it unlike other types, so you would need something higher order like
ImplicitFunction[myImplicitParam, T]
for implicit myImplicitParam: T
Difficult to google for because combinations of "type", "implicit", "synonym" don't communicate that I'm looking for making a type synonym containing an implicit type...