gistfile1.txt

Error found:
in module Test
at src/Test.purs line 57, column 7 - line 57, column 24

  Could not match type

    eff0

  with type

    ( someEff :: SomeEff
    | eff0
    )


while trying to match type Eff eff0
  with type Eff
              ( someEff :: SomeEff
              | eff0
              )
while checking that expression props
  has type { someMonadA :: { opA :: Eff
                                      ( someEff :: SomeEff
                                      | eff0
                                      )
                                      String
                           | _0
                           }
           | _1
           }
while checking type of property accessor props."someMonadA"
while checking type of property accessor (props."someMonadA")."opA"
in value declaration testWithProps

where eff0 is a rigid type variable
        bound at line 55, column 1 - line 57, column 24
      _0 is an unknown type
      _1 is an unknown type

See https://github.com/purescript/purescript/wiki/Error-Code-TypesDoNotUnify for more information,
or to contribute content related to this error.