trivialib.type-unify
unifies a polimorphic type specifier with type variables against actual type specifiers
$ area51 add trivialib.type-unifyCopyUsage
;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(trivialib.type-unify:some-function ...)