A Haskell DSL for creating general forms.

This uses digestive-functors and adds a wrapper around it. The goal here is to have more stupidity to integrate it more easily into dynamic environments.