@hackage singletons-default0.1.0.1

An optional type with type level default

singletons-default

dependently typed optional values with defaults