Implement a defrecord> form