Loading prop-impredicative.disco...
Loaded.
Error: the type
  Prop
is not searchable (i.e. it cannot be used in a forall).
https://disco-lang.readthedocs.io/en/latest/reference/no-search.html
Error: the type
  Prop
is not searchable (i.e. it cannot be used in a forall).
https://disco-lang.readthedocs.io/en/latest/reference/no-search.html
Error: the type
  ℕ → Prop
is not searchable (i.e. it cannot be used in a forall).
https://disco-lang.readthedocs.io/en/latest/reference/no-search.html
Error: the type
  List(Prop) → ℕ
is not searchable (i.e. it cannot be used in a forall).
https://disco-lang.readthedocs.io/en/latest/reference/no-search.html