Haskell library for defining values recursively while avoiding nontermination. Magic.