module Clash1a where

value :: Int
value = 0

type Type = Int

class TypeClass a where
  typeClassMember :: a