score:0

eithert takes a f[either[a, b]] but you have a free[program, either[error, employee]], which is not compatible.

the solution to create a type alias for free[program, a]:

type myalias[a] = free[program, a]

then make getemployee return myalias[either[error, employee]] and same for getaddress.


Related Query

More Query from same tag