We present \textsc{Walrus}, a relational-functional programming language embedded in Haskell that extends the miniKanren model with type-polymorphic unification, on-demand laziness, and a range of usability features aimed at practical development. These include \texttt{Generic}-based instance derivation, structured debugging traces, and ergonomic support for product types. We describe the design and implementation of \textsc{Walrus} through the lens of our experience developing bidirectional compilers, reflecting on key design decisions and recurring usability challenges encountered in practice.