Make Wadler API conform with Elixir API and update doctests to actually run