Literal notation and constructor notation