Abstracted constructor functionality of IRL