#noindex
##=====트리플,triple =,triple 트리플 triple
MKL [[셋,three]]
CMP [[트리플렛,triplet]]
----
Sub:
[[Kleisli_triple]] =,Kleisli_triple =,Kleisli_triple . Kleisli_triple
{
'''Kleisli triple'''

MKL
[[extension_system]] =,extension_system =,extension_system . extension_system
{
'''extension system'''
확대|확장... 계|체계|...

extension - [[확장,extension]] [[익스텐션,extension]]
system - [[시스템,system]] [[체계,system]] [[계,system]]
[[모나드,monad]]
[[Eugenio_Moggi]]

https://ncatlab.org/nlab/show/extension+system
}// extension system ... Ggl:"extension system" Bing:"extension system" .....하면 너무 일반적인 동떨어진 것만....// Ggl:"extension system moggi" Bing:"extension system moggi"

https://ncatlab.org/nlab/show/Kleisli+triple
}// Kleisli triple ... Naver:"Kleisli triple" Bing:"Kleisli triple" Ggl:"Kleisli triple"


----
Zeta:트리플 / [[Zeta:싱글,_더블,_트리플]]
Namu:트리플