+ displaying types information
+ missing parenthesis in application `toHTML` fn
= fixed type inference error messages