How to Least Fix Point?

[kchanqvq]

(define-type (<lfp> :f) (in (:f (<lfp> :f))))
gives

Kind mismatch between type #T7951 of kind * and kind * -> *

I guess in general how to do higher kinded types?

[gefjon]

Easy to reproduce:

(coalton-toplevel
  (define-type (Inty :functor)
    (Inty (:functor UFix))))