move to haskell-exts, add joinlist to constructors, conversion both ways, add no momomorphism pragma