Could not match type

    t6 t7 t7

  with type

    i2


while trying to match type YourType' t3 t4 t5
  with type YourType' e0 a1 i2
while checking that expression (apply YourType') ((bind (liftEff eff)) (\$4 ->
                                                                               case $4 of
                                                                                 ...
                                                                            )
                                                      )
  has type YourType' e0 a1 i2
in value declaration yourFunction

where i2 is a rigid type variable
      a1 is a rigid type variable
      e0 is a rigid type variable
      t5 is an unknown type
      t4 is an unknown type
      t3 is an unknown type
      t6 is an unknown type
      t7 is an unknown type