-record(defunc1, { constructor :: fun((any()) -> any()), destructor :: fun((any()) -> {any()}), names :: {binary()} }).