until -package:numeric-prelude -package:util -package:hedgehog -package:faktory -package:LambdaHack -package:distribution-opensuse -package:yesod-paginator -package:streaming -package:xmonad-contrib -package:dunai -package:extra 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