1module Main where
2
3import Effect.Console (log)
4
5foreign import data R :: forall k. Row k -> Type
6foreign import data X :: R ()
7
8data P :: R () -> Type
9data P a = P
10
11main = log "Done"
12