module Main where

import Types
import Instances

main :: IO ()
main = return ()