3 repositories on SrcLog
Tactic Metaprogramming in Haskell
Omit fields for instance deriving
A reversible language