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