Model finder, compiles under GHC 7.6.3