1{-# LANGUAGE UnicodeSyntax #-}
2
3lengthOP n (⊜) = 0n
4