module Main where

import GHC.Generics
import Data.Proxy

import Lib

main :: IO ()
main = print "compiles"