konvertiert Ocaml/Haskell Typdefinition zu Haskell: * in Definition

Question

versucht Typdefinition von Ocaml/F # Haskell zu konvertieren, einen Fehler bekommen:

error: parse error on input `*' 

Wie kann ich den Code korrekt?

aktuellen Haskell Code:

data Func sa sb = 
    Empty 
    | Leaf Int * (sa * sb) List 
    | Branch Int * Int * (Func sa sb) * (Func sa sb) 

Ocaml:

type ('a,'b)func = 
Empty 
| Leaf of int * ('a*'b)list 
| Branch of int * int * ('a,'b)func * ('a,'b)func;; 

F #

type func<'a,'b> = 
    | Empty 
    | Leaf of int * ('a * 'b) list 
    | Branch of int * int * func<'a,'b> * func<'a,'b> 

Answer 1

data Func a b 
    = Empty 
    | Leaf Int [(a, b)] 
    | Branch Int Int (Func a b) (Func a b)