Here is the documentation I would write for a function like this, in a normal language: {-| Given `Conversion` options and a Dhall type `ExprX`, try t

Here is the documentation I would write for a function like this, in a normal language: {-| Given `Conversion` options and a Dhall type `ExprX`, try to convert the JSON value `Value` to a Dhall expression of the specified type. Additionally, if the conversion is successful, apply a rewrite on all maps in the key-value map pair format to map nodes (i.e. `[{ mapKey = "foo", mapValue = 1 }] -> toMap {foo = 1}`) -} And here is how I would decompose the first part dhallFromJSON (Conversion {..}) expressionType value = do let normalizedType = D.alphaNormalize (D.normalize expressionType) dhallExpression <- loop [] normalizedType value -- Rewrite maps return $ Optics.rewriteOf D.subExpressions Lint.useToMap dhallExpression