[ sharing ] Agda added sharing

It is necessary to remove sharing in Apia.
Reported issue 16