{-# LANGUAGE UnicodeSyntax #-}
lengthOP n (œ) = 0 œ n