hard-unification.gfs.gold

Expression: s (\v0 -> v0) (app (\v0 -> v0)) ex
Type:       S

Meta variable(s) ?2 should be resolved
in the expression: s ?2 (app ?2) ?4