SSTG.Core.Language.Typing

class Typeable a