Ivory.Language.Struct

data StructDef sym

type family StructName a :: Symbol

class IvoryStruct sym

data Label sym field

(~>)