Bij module, a try at the serialization problem using GADT