意味が違うから書き分ける事に合理性があるのに、already lazyってエラーになっていることがおかしいように思う。