diff --git a/LLVM/Core.hs b/LLVM/Core.hs
--- a/LLVM/Core.hs
+++ b/LLVM/Core.hs
@@ -58,6 +58,7 @@
     Linkage(..),
     -- * Basic blocks
     BasicBlock, newBasicBlock, newNamedBasicBlock, defineBasicBlock, createBasicBlock, getCurrentBasicBlock,
+    fromLabel, toLabel,
     -- * Misc
     addAttributes, Attribute(..),
     castVarArgs,
diff --git a/LLVM/Core/CodeGen.hs b/LLVM/Core/CodeGen.hs
--- a/LLVM/Core/CodeGen.hs
+++ b/LLVM/Core/CodeGen.hs
@@ -22,6 +22,7 @@
     constVector, constArray,
     -- * Basic blocks
     BasicBlock(..), newBasicBlock, newNamedBasicBlock, defineBasicBlock, createBasicBlock, getCurrentBasicBlock,
+    fromLabel, toLabel,
     -- * Misc
     withCurrentBuilder
     ) where
@@ -265,6 +266,12 @@
 getCurrentBasicBlock = do
     bld <- getBuilder
     liftIO $ liftM BasicBlock $ U.getInsertBlock bld
+
+toLabel :: BasicBlock -> Value Label
+toLabel (BasicBlock ptr) = Value (FFI.basicBlockAsValue ptr)
+
+fromLabel :: Value Label -> BasicBlock
+fromLabel (Value ptr) = BasicBlock (FFI.valueAsBasicBlock ptr)
 
 --------------------------------------
 
diff --git a/LLVM/Core/Data.hs b/LLVM/Core/Data.hs
--- a/LLVM/Core/Data.hs
+++ b/LLVM/Core/Data.hs
@@ -1,5 +1,6 @@
+{-# LANGUAGE EmptyDataDecls #-}
 module LLVM.Core.Data(IntN(..), WordN(..), FP128(..),
-       		      Array(..), Vector(..), Ptr) where
+       		      Array(..), Vector(..), Ptr, Label) where
 import Foreign.Ptr(Ptr)
 import Data.TypeLevel
 
@@ -30,3 +31,5 @@
 newtype Vector n a = Vector [a]
     deriving (Show)
 
+-- |Label type, produced by a basic block.
+data Label
diff --git a/LLVM/Core/Type.hs b/LLVM/Core/Type.hs
--- a/LLVM/Core/Type.hs
+++ b/LLVM/Core/Type.hs
@@ -59,6 +59,7 @@
 	code (TDVector n a) = FFI.vectorType (code a) (fromInteger n)
 	code (TDPtr a) = FFI.pointerType (code a) 0
 	code (TDFunction va as b) = functionType va (code b) (map code as)
+	code TDLabel = FFI.labelType
 
 typeName :: (IsType a) => a -> String
 typeName = code . typeDesc
@@ -75,7 +76,7 @@
 -- |Type descriptor, used to convey type information through the LLVM API.
 data TypeDesc = TDFloat | TDDouble | TDFP128 | TDVoid | TDInt Bool Integer
               | TDArray Integer TypeDesc | TDVector Integer TypeDesc
-	      | TDPtr TypeDesc | TDFunction Bool [TypeDesc] TypeDesc
+	      | TDPtr TypeDesc | TDFunction Bool [TypeDesc] TypeDesc | TDLabel
     deriving (Eq, Ord, Show)
 
 -- XXX isFloating and typeName could be extracted from typeRef
@@ -146,6 +147,9 @@
 -- Void type
 instance IsType ()     where typeDesc _ = TDVoid
 
+-- Label type
+instance IsType Label  where typeDesc _ = TDLabel
+
 -- Variable size integer types
 instance (Pos n) => IsType (IntN n)
     where typeDesc _ = TDInt True  (toNum (undefined :: n))
@@ -235,6 +239,7 @@
 instance IsFirstClass Word64
 instance (IsPowerOf2 n, IsPrimitive a) => IsFirstClass (Vector n a)
 instance (IsType a) => IsFirstClass (Ptr a)
+instance IsFirstClass Label
 instance IsFirstClass () -- XXX This isn't right, but () can be returned
 
 instance IsSized Float D32
@@ -253,8 +258,11 @@
 instance IsSized Word64 D64
 instance (Nat n, IsSized a s, Mul n s ns, Pos ns) => IsSized (Array n a) ns
 instance (IsPowerOf2 n, IsPrimitive a, IsSized a s, Mul n s ns, Pos ns) => IsSized (Vector n a) ns
-instance (IsType a, Pos s) => IsSized (Ptr a) s  -- XXX
+instance (IsType a) => IsSized (Ptr a) PtrSize
+-- instance IsSized Label PtrSize -- labels are not quite first classed
 
+type PtrSize = D32   -- XXX this is wrong!
+
 instance IsPrimitive Float
 instance IsPrimitive Double
 instance IsPrimitive FP128
@@ -269,7 +277,7 @@
 instance IsPrimitive Word16
 instance IsPrimitive Word32
 instance IsPrimitive Word64
---instance IsPrimitive Label
+instance IsPrimitive Label
 instance IsPrimitive ()
 
 -- Functions.
diff --git a/LLVM/FFI/Core.hsc b/LLVM/FFI/Core.hsc
--- a/LLVM/FFI/Core.hsc
+++ b/LLVM/FFI/Core.hsc
@@ -1137,9 +1137,9 @@
 foreign import ccall unsafe "LLVMInitializeFunctionPassManager" initializeFunctionPassManager
     :: PassManagerRef -> IO CInt
 foreign import ccall unsafe "LLVMLabelType" labelType
-    :: IO TypeRef
+    :: TypeRef
 foreign import ccall unsafe "LLVMOpaqueType" opaqueType
-    :: IO TypeRef
+    :: TypeRef
 foreign import ccall unsafe "LLVMPositionBuilder" positionBuilder
     :: BuilderRef -> BasicBlockRef -> ValueRef -> IO ()
 foreign import ccall unsafe "LLVMRunFunctionPassManager" runFunctionPassManager
diff --git a/llvm.cabal b/llvm.cabal
--- a/llvm.cabal
+++ b/llvm.cabal
@@ -1,5 +1,5 @@
 name: llvm
-version: 0.6.3.0
+version: 0.6.4.0
 license: BSD3
 license-file: LICENSE
 synopsis: Bindings to the LLVM compiler toolkit