diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Changelog for the [`clash-lib`](http://hackage.haskell.org/package/clash-lib) package
 
+## 0.5.9 *July 9th 2015*
+* Fixes bugs:
+  * `coreView` didn't look through newtypes of the form: `newtype Foo a = MkFoo (Maybe a)`
+
 ## 0.5.8 *June 26th 2015*
 * Fixes bugs:
   * Allow text and tags in ~SIGD black box construct
diff --git a/clash-lib.cabal b/clash-lib.cabal
--- a/clash-lib.cabal
+++ b/clash-lib.cabal
@@ -1,5 +1,5 @@
 Name:                 clash-lib
-Version:              0.5.8
+Version:              0.5.9
 Synopsis:             CAES Language for Synchronous Hardware - As a Library
 Description:
   CλaSH (pronounced ‘clash’) is a functional hardware description language that
diff --git a/src/CLaSH/Core/Type.hs b/src/CLaSH/Core/Type.hs
--- a/src/CLaSH/Core/Type.hs
+++ b/src/CLaSH/Core/Type.hs
@@ -158,9 +158,8 @@
        TyConApp tc args -> case name2String tc of
          "CLaSH.Signal.Internal.Signal'" -> coreView tcMap (args !! 1)
          _ -> case (tcMap HashMap.! tc) of
-                (AlgTyCon {algTcRhs = (NewTyCon _ nt)})
-                  | length (fst nt) == length args -> coreView tcMap (newTyConInstRhs nt args)
-                  | otherwise -> tView
+                AlgTyCon {algTcRhs = (NewTyCon _ nt)}
+                  -> coreView tcMap (newTyConInstRhs nt args)
                 FunTyCon {tyConSubst = tcSubst} -> case findFunSubst tcSubst args of
                   Just ty' -> coreView tcMap ty'
                   _ -> tView