module ImplA where