Cloud types ok
Clean the type
Cloud library => go to Pullable Cloud
Test of non typechecked code fragment