{-# OPTIONS_GHC -Wno-orphans #-}
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE StandaloneDeriving #-}
module Disco.Data where
import Unbound.Generics.LocallyNameless.Bind
import Unbound.Generics.LocallyNameless.Embed
import Unbound.Generics.LocallyNameless.Name
import Data.Data (Data)
import Unbound.Generics.LocallyNameless.Rebind
deriving instance (Data a, Data b) => Data (Bind a b)
deriving instance Data t => Data (Embed t)
deriving instance (Data a, Data b) => Data (Rebind a b)
deriving instance Data a => Data (Name a)