Safe Haskell  SafeInfered 

Documentation
data (TRealm rea, Typeable con) => Value rea con Source
value type, with its realm and content type discriminated in type level
FromNode  data obtained from the dataflow graph.

FromImm  data obtained as an immediate value.

(Eq rea, Eq con, Typeable con, TRealm rea) => Eq (Value rea con)  
(Show rea, Show con, Typeable con, TRealm rea) => Show (Value rea con)  
(TRealm rea, Typeable con) => Realmable (Value rea con)  
(TRealm r, Typeable c, C c, Fractional c) => Fractional (Builder v g a (Value r c))  you can convert GHC floating point immediates to 
(TRealm r, Typeable c, C c) => Num (Builder v g a (Value r c))  you can convert GHC numeric immediates to 
(TRealm r, Typeable c) => C (Builder v g a (Value r c))  choose the larger or the smaller of the two. 
(TRealm r, Typeable c, C c) => C (Builder v g a (Value r c))  
(TRealm r, Typeable c, C c) => C (Builder v g a (Value r c))  
(TRealm r, Typeable c, C c) => C (Builder v g a (Value r c))  
(TRealm r, Typeable c, C c) => C (Builder v g a (Value r c))  
(TRealm r, Typeable c, C c) => C (Builder v g a (Value r c))  Builder is Ring 
(TRealm r, Typeable c, C c) => C (Builder v g a (Value r c))  
(TRealm r, Typeable c) => C (Builder v g a (Value r c))  
(TRealm r, Typeable c, C c) => C (Builder v g a (Value r c))  
TRealm r => Boolean (Builder v g a (Value r Bool)) 