/Я language (β)/Behaviour/Spark/

> Spark : forall t i . i `AR__` I `L` t `T` i

Demonstration: initialise functor values:

> Only `ho'ut'st` A `ho'nt'yo` Spark @ Alone = Alone `ha'nt'ha'st` A
> Only `ho'ut'st` A `ho'nt'yo` Spark @ Maybe = Exist `ha'nt'ha'st` A
> Only `ho'ut'st` A `ho'nt'yo` Spark @ World = ...