Typeable Solution