Demo entry 6755642

Promoted operator

   

Submitted by Sylvain Henry on Aug 02, 2018 at 13:53
Language: Haskell. Code size: 79 Bytes.

data Union (as :: [*]) where
  Union :: Either (Union as) a -> Union (a ': as)

This snippet took 0.00 seconds to highlight.

Back to the Entry List or Home.

Delete this entry (admin only).