New FFI type declaration

Help
#1

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…

#2

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