until -package:numeric-prelude -package:base-prelude -package:distribution-opensuse -package:extra -package:protolude -package:base -package:prelude-compat -package:numhask -package:LambdaHack -package:scalpel-core -package:dunai -package:simple-prompt 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