These are chat archives for boostorg/hana
hana::typeas a singleton
M(T)wouldn’t have sense anymore, it would always be
Mwould have to consider
unpackwould have to not wrap a member with
typeif it is a
hana::typesto be considered a Monad. I’ll let it sink in, though, because there might.
static_assert failed "hana::equal( hana::monadic_compose(lift<M>, f)(x), f(x) )":hurtrealbad: