module Hefty.Nil where

open import Free
open import Free.Nil
open import Hefty
open import Hefty.Lift


eNil : Elaboration (Lift Nil) Δ
alg eNil ()


{-
Automatable elaboration
-}

instance
  eNil′ : Elab (Lift Nil) Δ
  orate eNil′ = eNil