# singletons-default
 dependently typed optional values with defaults