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