{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE DeriveTraversable #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE DuplicateRecordFields #-}
{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE StandaloneDeriving #-}

module Lang where

import Data.Monoid (First)
import Language.Nanopass (deflang)

data Foo a b c = Foo [c]
  deriving (Show,Functor,Foldable,Traversable)

[deflang| L0 (funny)
  (Expr
    (Var {x String})
    (Lam {x String} {e ($Stmt *)})
    (App {f $Expr} {a $Expr})
    (Nope String)
    (UhOh {(First $Expr *) ($Expr *) (Foo Int Int $Expr)})
  )
  (Stmt
    (Expr {delme funny} $Expr)
    (Let {x String} {e $Expr})
  )
|]
deriving stock instance (Show funny) => Show (Expr funny)
deriving stock instance (Show funny) => Show (Stmt funny)