Init: explores type constructors