hypertypes-0.1.0.1: test/LangD.hs

{-# LANGUAGE TemplateHaskell, UndecidableInstances #-}
module LangD where

import Hyper

newtype A i k = A (B i k)
newtype B i k = B (i (k :# A i))

makeHTraversableApplyAndBases ''A
makeHTraversableApplyAndBases ''B

newtype C (k :: AHyperType) = C (C k)
-- The following doesn't work:
-- makeHNodes ''C