Ann.hs

{-# LANGUAGE TypeFamilies #-}                  
module JS.Ann where                            
                                               
-- | annotated fixpoint combinator             
                                               
data FixA (a ∷ (* → *) → (* → *))              
          (f ∷ (* → *))                        
  = InA { outa ∷ a f (FixA a f) }              
  | InF { outf ∷   f (FixA a f) }              
                                               
-- | Identity annotation                       
newtype Id f a = Id {unId ∷ f a } deriving Show
                                               
-- | Identity annotation fixpoint combinator   
type Fix f = FixA Id f