This tool allows to generate free theorems for sublanguages of Haskell. See the help page for details.

The source is available at hackage as free-theorems-webui. See also: free-theorems (library) and ftshell (shell interface).

Please enter a (polymorphic) type, e.g. "(a -> Bool) -> [a] -> [a]" or simply "filter":

Please choose a sublanguage of Haskell:

Please choose a theorem style (without effect in the sublanguage with no bottoms):

If you need additional declarations you can enter them here: