Frege's port of Haskell's Finite Domain library