{-# LANGUAGE TemplateHaskell, TypeOperators #-}

module Main where

import Test1

instanceNat