{-# LANGUAGE UnicodeSyntax #-}

foo x = addToEnv (∀)