Where to Go From Here?
In this tutorial, you created your own custom Maybe functor as well as a Maybe data type using the Arrow framework. You understood what a type constructor is and how Arrow abstracts it using Kind. Then you created an extension of the Functor typeclass.
You’ve done this after an important theoretical introduction to what a Category is, what its properties are and how a Functor fits into all of this.
With all that behind you, you’re still at the beginning of the journey into Functional Programming with Arrow.
In the next tutorial in this series, you’ll learn more about typeclasses using the Arrow framework.
We hope you enjoyed this tutorial, and if you have any questions or comments, please join the forum discussion below!
