{-# LANGUAGE UnicodeSyntax #-} module Main (main) where lengthOP n (œ) = 0 œ n