Czy to ```@module``` nie jest redundantne?