@hackage singletons-default0.1.0.0

An optional type with type level default

singletons-default

dependently typed optional values with defaults