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