{-# OPTIONS_GHC -fglasgow-exts #-}

module Main where

import Regular
import Left
import Logic

test1 :: Logic
-- This is not optimized because GHC does not specialize |left| to |Logic|
test1 = left

main = print (test1)