{-# LANGUAGE DataKinds, FlexibleInstances, MultiParamTypeClasses, FlexibleContexts, UndecidableInstances #-}

-- | Example use of the Main class
-- 
--     $ ghc Example.hs
--     $ ./Example
--
module Main (main) where

import Prelude.Type

instance Compare '[I 1, I 3] '[I 1, I 2] a
        => Main a