Skip main navigation


Summary of the key concepts covered in this activity
A monad is a mechanism for combining computations. It is a typeclass providing the bind and return operations.

To be an actual monadic type, the implementations of
bind and return must conform to the three monad laws.

The Maybe monad illustrates how to create a simple monad and demonstrates its benefits.

© University of Glasgow
This article is from the free online

Functional Programming in Haskell: Supercharge Your Coding

Created by
FutureLearn - Learning For Life

Reach your personal and professional goals

Unlock access to hundreds of expert online courses and degrees from top universities and educators to gain accredited qualifications and professional CV-building certificates.

Join over 18 million learners to launch, switch or build upon your career, all at your own pace, across a wide range of topic areas.

Start Learning now