Можно обойтись без вспомогательной функции и написать просто `implicitly[Liftable[$paramTpe]](universe, ...)`.