module Clash1a where value :: Int value = 0 type Type' = Int class TypeClass a where typeClassMember :: a