On 2019-01-18 20:28, Stefan Koch wrote: > The only difference that type-functions have from what you describe is > that it does not need to occupy a keyword 'type'. You're using "alias" instead of my "type" keyword? -- /Jacob Carlborg