Types not correctly written and Eq constraint not accepted?

Question

If someone can please help me! This is the module I have separated for type and data type

 -- = Tipos e construtores de tipos 
    
    -- | Tipo __Maze__, li