New FFI type declaration


I am new to PureScript and an intermediate Haskeller.

I challenged to convert an old style library to PureScript 0.13 style. But I stumbled upon a FFI type declaration:

foreign import data Promise :: # Effect -> Type -> Type

How can I represent this in new version?

Thanks in advance…


The Effect type is no longer indexed by rows of effect markers, so the Effect kind no longer exists. You just want to use

foreign import data Promise :: Type -> Type