Notes about the `no default constructor' error on IR 1.1.3