diff --git a/Control/Joint/Composition.hs b/Control/Joint/Composition.hs
new file mode 100644
--- /dev/null
+++ b/Control/Joint/Composition.hs
@@ -0,0 +1,6 @@
+module Control.Joint.Composition (Composition (..)) where
+
+class Composition t where
+	{-# MINIMAL unwrap #-}
+	type Primary t a :: *
+	unwrap :: t a -> Primary t a
diff --git a/Control/Joint/Core.hs b/Control/Joint/Core.hs
new file mode 100644
--- /dev/null
+++ b/Control/Joint/Core.hs
@@ -0,0 +1,14 @@
+module Control.Joint.Core where
+
+infixr 1 :.
+infixr 0 :=
+infixr 0 ~>
+
+-- | Functor composition
+type (:.) t u a = t (u a)
+
+-- | Functor's object
+type (:=) t a = t a
+
+-- | Natural transformation
+type (~>) t u = forall a . t a -> u a
diff --git a/Control/Joint/Schemes.hs b/Control/Joint/Schemes.hs
new file mode 100644
--- /dev/null
+++ b/Control/Joint/Schemes.hs
@@ -0,0 +1,4 @@
+module Control.Joint.Schemes (module Exports) where
+
+import Control.Joint.Schemes.UTU as Exports
+import Control.Joint.Schemes.TU as Exports
diff --git a/Control/Joint/Schemes/TU.hs b/Control/Joint/Schemes/TU.hs
new file mode 100644
--- /dev/null
+++ b/Control/Joint/Schemes/TU.hs
@@ -0,0 +1,10 @@
+module Control.Joint.Schemes.TU (TU (..)) where
+
+import Control.Joint.Core (type (:.), type (:=))
+import Control.Joint.Composition (Composition (Primary, unwrap))
+
+newtype TU t u a = TU (t :. u := a)
+
+instance Composition (TU t u) where
+	type Primary (TU t u) a = t :. u := a
+	unwrap (TU x) = x
diff --git a/Control/Joint/Schemes/UTU.hs b/Control/Joint/Schemes/UTU.hs
new file mode 100644
--- /dev/null
+++ b/Control/Joint/Schemes/UTU.hs
@@ -0,0 +1,10 @@
+module Control.Joint.Schemes.UTU (UTU (..)) where
+
+import Control.Joint.Core (type (:.), type (:=))
+import Control.Joint.Composition (Composition (Primary, unwrap))
+
+newtype UTU t u a = UTU (u :. t u := a)
+
+instance Composition (UTU t u) where
+	type Primary (UTU t u) a = u :. t u := a
+	unwrap (UTU x) = x
diff --git a/Control/Joint/Transformer.hs b/Control/Joint/Transformer.hs
new file mode 100644
--- /dev/null
+++ b/Control/Joint/Transformer.hs
@@ -0,0 +1,13 @@
+module Control.Joint.Transformer (Transformer (..)) where
+
+import Control.Joint.Core (type (~>))
+import Control.Joint.Composition (Composition)
+
+class Composition t => Transformer t where
+	{-# MINIMAL lay, wrap #-}
+	type Schema (t :: * -> *) (u :: * -> *) = (r :: * -> *) | r -> t u
+	lay :: Functor u => u ~> Schema t u
+	wrap :: Applicative u => t ~> Schema t u
+
+infixr 1 :>
+type (:>) t u a = Transformer t => Schema t u a
diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,29 @@
+BSD 3-Clause License
+
+Copyright (c) 2018, Murat Kasimov
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+* Redistributions of source code must retain the above copyright notice, this
+  list of conditions and the following disclaimer.
+
+* Redistributions in binary form must reproduce the above copyright notice,
+  this list of conditions and the following disclaimer in the documentation
+  and/or other materials provided with the distribution.
+
+* Neither the name of the copyright holder nor the names of its
+  contributors may be used to endorse or promote products derived from
+  this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
diff --git a/joint.cabal b/joint.cabal
new file mode 100644
--- /dev/null
+++ b/joint.cabal
@@ -0,0 +1,34 @@
+name:                joint
+version:             0.1.0
+synopsis:            Trying to compose non-composable
+homepage:            https://github.com/iokasimov/joint
+license:             BSD3
+license-file:        LICENSE
+author:              Murat Kasimov
+maintainer:          Murat Kasimov <iokasimov.m@gmail.com>
+copyright:           Copyright (c) 2018 Murat Kasimov
+category:            Data, Control
+build-type:          Simple
+cabal-version:       >= 1.10
+
+source-repository head
+  type: git
+  location: https://github.com/iokasimov/joint.git
+
+library
+  exposed-modules:
+    Control.Joint.Core
+    Control.Joint.Composition
+    Control.Joint.Transformer
+    Control.Joint.Schemes
+    Control.Joint.Schemes.TU
+    Control.Joint.Schemes.UTU
+  build-depends: base == 4.*
+  default-language: Haskell2010
+  ghc-options: -fno-warn-tabs
+  default-extensions:
+    LiberalTypeSynonyms
+    RankNTypes
+    TypeFamilies
+    TypeFamilyDependencies
+    TypeOperators