module Lib (class Foo) where

class Foo (a :: Symbol)