module Main where

import PolyDepPrelude
import Homogenous.Base
import Homogenous.Equality
import Homogenous.Reflexivity
import Homogenous.Nat
import Tools
import Reflexivity
import EqBase
import TYPE