data Nat = Zero | Succ Nat deriving (Show)

natDrop :: Nat -> [a] -> [a]
natDrop Zero xs = xs
natDrop (Succ x) l@(v:xs) = if (length l /= 1) then natDrop x xs else []