module Calculus.Lambda.Omega.Implicit where