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