This function takes a name, but the function or value already has a name - so really the funDecl and valDecl functions should only require a Maybe TypeAnnotation, and not a full signature.
This rules out the name in the signature being different to the function or value being created.
The signatures of these function are:
And the function for creating signatures is:
This function takes a name, but the function or value already has a name - so really the funDecl and valDecl functions should only require a
Maybe TypeAnnotation
, and not a full signature.This rules out the name in the signature being different to the function or value being created.