Main

main :: forall e. Eff (console :: CONSOLE | e) Unit

type Query = (SELECT (bar :: String, "corge.foo" :: Boolean, "quux.foo" :: Int)) # (FROM Quux) # (JOIN Corge) # (LIMIT TWO)

type Quux = Table "quux" (bar :: String, baz :: Boolean, foo :: Int)

type Corge = Table "corge" (foo :: Boolean)