There's no record() type according to dialyzer