adding type instances for List and Nat.