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