composite :: Composite a -> Value a
composite (Composite imp) = Value (Value.decoder (Composite.run imp))
composite :: Composite a -> Value a
composite (Composite imp) = Value (Value.decoder (Composite.run imp))
composite (Composite imp) = Value (Value.decoder (Composite.run imp))