flip -package:termonad package:singletons-base