crockeea

{-# LANGUAGE ScopedTypeVariables, 
             TypeOperators, 
             DataKinds, 
             KindSignatures, 
             TypeFamilies, 
             GADTs, 
             FlexibleContexts, 
             FlexibleInstances, 
             MultiParamTypeClasses #-}

crockeea

{-# LANGUAGE GADTs, TypeOperators, FlexibleInstances, MultiParamTypeClasses, FlexibleContexts #-}

import Data.Syntactic
import Data.Syntactic.Functional hiding (eval)
import Data.Syntactic.TypeUniverse
import Data.Syntactic.Sugar.BindingT ()

data Let a where
    Let :: Let (a :-> (a -> b) :-> Full b)

crockeea

{-# LANGUAGE TypeOperators, GADTs, FlexibleContexts, AllowAmbiguousTypes, StandaloneDeriving, DeriveDataTypeable #-}

import Data.Typeable
import Data.Syntactic
import Data.Syntactic.Functional
import Data.Syntactic.Sugar.BindingT ()

deriving instance Typeable Construct
deriving instance Typeable BindingT
deriving instance Typeable AST