FP - Ako ukladať komplexné typy

Čaute, keď programujete funkcionálne a používate špeciálne typy (napr. Result, Option alebo custom algebraické typy), a potrebujete ich serializovať (do databázy, alebo súboru, poslať niekam na REST), konvertujete ich najprv na nejakú jednoduchšiu štruktúru (napr. obyčajné plain objekty / štruktúry alebo polia), aby sa dali uložiť ako JSON? Alebo ich ukladáte priamo — aj so zachovaním algebraických typov — jedna k jednej? Napríklad cez MessagePack, alebo upravený JSON/BSON/XML serializer?

Lebo otázka je: čo vlastne ukladať — a či tú štruktúru nezjednodušiť. Získa sa tým flexibilita: vkladanie dát bude jednoduchšie, zobrazenie dát bude jednoduchšie (nemusím to prechádzať rekurzívnou funkciou a zložito renderovať) môžem tam vložiť aj veci ktoré by som inak nevložil, ale zabije sa tým typová kontrola, a vlastne všetko čo som použitím komplexných typov získal nie? A tiež v SQL DB sa tým zabije možnosť robiť SQL dopyty nad JSON (vačšina SQL DB umožnuje pracovať so stĺpcom ako s JSONom ale pochybujem že okrem JSON podporujú aj MessagePack)

Dotaz: FP - Ako ukladať komplexné typy