-record(recursive_type, {id :: integer(), type_ :: girard@types:type()}).