implicit computation implemented