Given the following 'search tree' datatype:

What is the most general type of foldST?

data STree a Sn ( STree a) a (Stree a) | Tp deriving (Show, Eq) The fold for search trees is: foldst g t (Tp) = t foldsT g t (Sn si a s2) g (foldsr gt sl) a (foldsT g t s2) data STree a Sn ( STree a) a (Stree a) | Tp deriving (Show, Eq) The fold for search trees is: foldst g t (Tp) = t foldsT g t (Sn si a s2) g (foldsr gt sl) a (foldsT g t s2)