Added typeable constraint to as many Eff data types as possible.