-record(named, {
    module :: binary(),
    name :: binary(),
    arguments :: list(girard@types:type())
}).