PureScript type synonym problem with effect kind

output.txt

Error: .../src/TypeSynonymsProblem.purs:14:1:
  Could not match kind

    *

  with kind

    # !


while checking the kind of OnlyA Foo
in type synonym FooA

TypeSynonymsProblem.purs

module TypeSynonymsProblem where

import Prelude
import Control.Monad.Eff (Eff)
import Data.Either (Either)
import Data.Tuple (Tuple(Tuple))

type Foo e a a' b b' = Eff e (Tuple a b) -> Eff e (Tuple a' b')
type Bar e a a' b b' = Eff e (Either a b) -> Eff e (Either a' b')

type OnlyA f e a a' = forall b. f e a a' b b -- no b' transformation
type OnlyB f e b b' = forall a. f e a a b b -- no a' transformation

type FooA = OnlyA Foo
type FooB = OnlyB Foo
type BarA = OnlyA Bar
type BarB = OnlyB Bar

I'd like the last four types to have kind # ! -> * -> * -> *, i.e. take some row of effects, and two types, and return a type.