until -package:numeric-prelude -package:language-bash -package:clash-prelude -package:utility-ht -package:dimensional -package:LambdaHack -package:conferer -package:basic-prelude -package:base -package:free -package:xmonad-contrib 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