@hackage / singletons-default

An optional type with type level default