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

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

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