purescript-0.7.2.0: examples/failing/RowConstructors1.purs

-- @shouldFailWith KindsDoNotUnify
module Main where

import Prelude

data Foo = Bar
type Baz = { | Foo }

main = Control.Monad.Eff.Console.log "Done"