> data Nat a where > Z :: Nat a > S :: Nat a -> Nat (S a) > > data Z > data S a
I thought I was getting this, but this part is confusing. What exactly does declaring "data Z" do? _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
