diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,19 @@
+Copyright (c) 2013 Simon Hengel <sol@typeful.net>
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
diff --git a/Setup.lhs b/Setup.lhs
new file mode 100644
--- /dev/null
+++ b/Setup.lhs
@@ -0,0 +1,3 @@
+#!/usr/bin/env runhaskell
+> import Distribution.Simple
+> main = defaultMain
diff --git a/quickcheck-io.cabal b/quickcheck-io.cabal
new file mode 100644
--- /dev/null
+++ b/quickcheck-io.cabal
@@ -0,0 +1,29 @@
+name:             quickcheck-io
+version:          0.1.0
+synopsis:         Use HUnit assertions as QuickCheck properties
+description:      This package provides an orphan instance that allows you to
+                  use HUnit assertions as QuickCheck properties.
+category:         Testing
+license:          MIT
+license-file:     LICENSE
+copyright:        (c) 2013 Simon Hengel
+author:           Simon Hengel <sol@typeful.net>
+maintainer:       Simon Hengel <sol@typeful.net>
+build-type:       Simple
+cabal-version:    >= 1.8
+
+source-repository head
+  type: git
+  location: https://github.com/sol/quickcheck-io
+
+library
+  ghc-options:
+      -Wall
+  hs-source-dirs:
+      src
+  exposed-modules:
+      Test.QuickCheck.IO
+  build-depends:
+      QuickCheck  >= 2.5.1
+    , HUnit       >= 1.2.5
+    , base        == 4.*
diff --git a/src/Test/QuickCheck/IO.hs b/src/Test/QuickCheck/IO.hs
new file mode 100644
--- /dev/null
+++ b/src/Test/QuickCheck/IO.hs
@@ -0,0 +1,15 @@
+{-# LANGUAGE TypeSynonymInstances, FlexibleInstances #-}
+{-# OPTIONS_GHC -fno-warn-orphans #-}
+module Test.QuickCheck.IO where
+
+import qualified Control.Exception as E
+import           Test.HUnit.Lang (Assertion, HUnitFailure(..))
+import           Test.QuickCheck.Property
+
+instance Testable Assertion where
+  property = propertyIO
+  exhaustive _ = True
+
+propertyIO :: Assertion -> Property
+propertyIO action = morallyDubiousIOProperty $ do
+  (action >> return succeeded) `E.catch` \(HUnitFailure err) -> return failed {reason = err}