scriptum
scriptum copied to clipboard
Maybe allow `type1("() => Void")`
i.e. ADTs without inhabitants.