Skip to content

Instantly share code, notes, and snippets.

@NathanHowell
Created September 10, 2013 06:35
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save NathanHowell/39748c25999548fe56ac to your computer and use it in GitHub Desktop.
Save NathanHowell/39748c25999548fe56ac to your computer and use it in GitHub Desktop.
test4 = reify True $ \ (_::Proxy a) -> do
let x = HCons (Tagged 4) HNil :: HList '[Tagged a Int]
c = case x of (HCons w HNil) -> w
print $ untag (c :: Tagged a Int)
test5 = reify True $ \ (_::Proxy a) -> do
case HCons (Tagged 5) HNil :: HList '[Tagged a Int] of
HCons w HNil -> print $ untag w
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment