di::concepts::Monad Concept Reference

#include <di/function/monad/monad_concept.h>

Concept definition

template<template< typename... > typename T>
concept di::concepts::Monad =  MonadInstance<decltype(T { types::Void {} })>