{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE OverloadedStrings #-}
module Main where

import BaseCompat
import LensCompat

main :: IO ()
main = pure ()