Types allow us to write programs that are correct by construction. This technique has recently been applied to creative domains such as music and textiles. We aim to develop a general typed programming language for creativity. The main challenge involved is how to express soft rules that are pervasive in creative domains. As a potential solution, we propose to build a type system in which an expression inhabits a type to a certain degree. We hope that our work will foster interactions among creativity fields and bring new insights into programming languages research.