until -package:numeric-prelude -package:util -package:xmonad-contrib -package:LambdaHack -package:distribution-opensuse -package:utility-ht -package:snap-core -package:clash-prelude -package:basic-prelude -package:cabal-install-solver package:singletons-base

type family Until (a_ayWs :: (~>) a_ayUo Bool) (a_ayWt :: (~>) a_ayUo a_ayUo) (a_ayWu :: a_ayUo) :: a_ayUo
singletons-base Prelude.Singletons
data UntilSym0
singletons-base Prelude.Singletons
data UntilSym1 (a6989586621679144116 :: (~>) a_ayUo Bool)
singletons-base Prelude.Singletons
data UntilSym2 (a6989586621679144116 :: (~>) a_ayUo Bool) (a6989586621679144117 :: (~>) a_ayUo a_ayUo)
singletons-base Prelude.Singletons
type family UntilSym3 (a6989586621679144116 :: (~>) a_ayUo Bool) (a6989586621679144117 :: (~>) a_ayUo a_ayUo) (a6989586621679144118 :: a_ayUo) :: a_ayUo
singletons-base Prelude.Singletons