{-# LANGUAGE UnicodeSyntax #-} module Data.String.Unicode (𝜀) where import Data.List.Unicode (𝜀)