Doesn't compile

Main.purs

module Main where

import Prelude

import Effect (Effect)
import Effect.Console (logShow)
import Prim.Row (class Union)

type Layout = 
  ( x :: String
  , y :: String
  )

type View c = 
  ( a :: String
  , b :: String
  , c :: Record c
  )

view 
  :: forall attrs0 attrs0_ attrs1 attrs1_
   . Union attrs1 attrs1_ (View attrs0)
  => Union attrs0 attrs0_ Layout
  => Record attrs1
  -> String
view rec = "" 


main :: Effect Unit
main = do
  logShow $ view { a : "a" }