{-# LANGUAGE DataKinds #-}
module Data.Term.Spec (spec) where

import Data.Functor.Listable
import Data.Term
import Test.Hspec (Spec, describe)
import Test.Hspec.Expectations
import Test.Hspec.LeanCheck

spec :: Spec
spec = do
  describe "Term" $ do
    prop "equality is reflexive" $
      \ a -> a `shouldBe` (a :: Term ListableSyntax ())