implementation module Either