{-# OPTIONS --universe-polymorphism #-} module Abstractor where open import Level abstract abstractor : ∀ {a} {A : Set a} → A → A abstractor x = x