Autodetect type instead of the polymorphic Maybe, improved errors and a simple example.