Unit is a lot of typing, how to define a macro in coalton that expands U into Unit

[devosalain]

Unit is a lot of typing, how to define a macro in coalton that expands U into Unit

[macrologist]

(cl:define-symbol-macro U Unit)

[devosalain]

It does not work:

(defpackage package-coalton
    (:use 
        #:coalton-prelude
        #:coalton)
    (:local-nicknames 
        (#:l  #:cl)
        (#:n  #:coalton)
        (#:nl #:coalton-library/list)
        (#:ns #:coalton-library/string)
                )
    (:export cmain) );defpackage

(in-package :package-coalton)
(l:define-symbol-macro U Unit)
(coalton-toplevel
(declare getstring ( U -> String ))
    (define (getstring)
        (ns:concat astring bstring))

Gives error :

Unhandled L:SIMPLE-ERROR in thread #<SB-THREAD:THREAD "main thread" RUNNING
{1005E280A3}>:
Unknown type U. Did you mean the type variable :U?

Backtrace for: #<SB-THREAD:THREAD "main thread" RUNNING {1005E280A3}>
0: (SB-DEBUG::DEBUGGER-DISABLED-HOOK #<L:SIMPLE-ERROR "Unknown type ~S. Did you mean the type variable ~S?" {100638F653}> # :QUIT L:T)
1: (SB-DEBUG::RUN-HOOK SB-EXT:INVOKE-DEBUGGER-HOOK #<L:SIMPLE-ERROR "Unknown type ~S. Did you mean the type variable ~S?" {100638F653}>)
2: (L:INVOKE-DEBUGGER #<L:SIMPLE-ERROR "Unknown type ~S. Did you mean the type variable ~S?" {100638F653}>)
3: (L:ERROR "Unknown type ~S. Did you mean the type variable ~S?" U :U)

[stylewarning]

There is presently no way to make a type alias that allows one-for-one replacement.

If you wish to shorten the variable named Unit, then you can do

(define U Unit)

but this will not work for the type Unit.