@@ -329,7+329,9 @@ any type `α`, as long as your function is of type `α -> α` and you have a bas
-- Or this:
let sysf_true = (\y n -> y) :: Sysf_bool a
-- Or this:
let sysf_true = (\y n -> y) :: Sysf_bool a
- :set -XExplicitForAll
+ Note that in both OCaml and Haskell code, the generalization `∀α` on the free type variable `α` is implicit. If you really want to, you can supply it explicitly in Haskell by saying: