One way to use Ceu's facilities for abstractions.