Error found: in module Main at tests/purs/failing/RowConstructors3.purs:7:16 - 7:19 (line 7, column 16 - line 7, column 19) Could not match kind    Type   with kind    Row Type   while checking that type Foo has kind Row Type while inferring the kind of Record Foo in type synonym Bar See https://github.com/purescript/documentation/blob/master/errors/KindsDoNotUnify.md for more information, or to contribute content related to this error.