As of 0398a0a the data types for send and receive operations are encoded in Dhall as Type, but there's no general function for converting Type -> Text.
Perhaps the type used for data in send and receive operations should be bound as a type parameter on ./SimpleSession/Type, e.g. \(dataType : Type), and the toJSON function should take an additional parameter of type dataType -> JSON/Type to help with the conversion.
As of 0398a0a the data types for
sendandreceiveoperations are encoded in Dhall asType, but there's no general function for convertingType -> Text.Perhaps the type used for data in
sendandreceiveoperations should be bound as a type parameter on./SimpleSession/Type, e.g.\(dataType : Type), and thetoJSONfunction should take an additional parameter of typedataType -> JSON/Typeto help with the conversion.