F # Tipo de declaración posible ala Haskell?

He buscado varias fuentes: parece que no es posible declarar una definición de tipo en F # ala Haskell:

' haskell type def:
myFunc :: int -> int

Me gustaría usar este estilo type-def en F # - FSI se complace en responderme:

fsi> let myType x = x +1;;

val myType : int -> int

Me gustaría ser explícito sobre la firma de tipo def en F # como en Haskell. ¿Hay alguna forma de hacer esto? Me gustaría escribir en F #:

//invalid F#
myFunc : int -> int
myFunc x = x*2