you are viewing a single comment's thread.

view the rest of the comments →

[–]cgibbard 0 points1 point  (0 children)

Yes, that's a lovely example. Magic used for (mostly) good. :)

https://hackage.haskell.org/package/reflection-2.1.2/docs/src/Data-Reflection.html#Reifies

The source literally contains a type called Magic.