module Main where

import Effect.Console (log)

class Foo (a :: Symbol)

instance fooX :: Foo "x"

main = log "Done"