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