foo ::
    -- | Documentation
    Int ->
    Bool
foo _ = True

foo ::
    Foo a =>
    -- | Foo
    Int ->
    Int
foo ::
    Foo a =>
    -- | Foo
    Int ->
    Int