InstanceArgumentsNotFound.err

InstanceArgumentsNotFound.agda:7,8-9
No variable of type A was found in scope.
when checking that the expression f has type B