functionSig ::
    -- | first argument
    Int ->
    {- | second argument
    with multiline doc
    -}
    Int ->
    -- | result
    String
functionSigWithForall ::
    forall a.
    -- | first argument
    Int ->
    {- | second argument
    with multiline doc
    -}
    a ->
    -- | result
    String
functionSigWithContext ::
    (HasCallStack) =>
    -- | first argument
    Int ->
    {- | second argument
    with multiline doc
    -}
    Int ->
    -- | result
    String
functionSigWithForallAndContext ::
    forall a.
    (HasCallStack) =>
    -- | first argument
    Int ->
    {- | second argument
    with multiline doc
    -}
    a ->
    -- | result
    String