coinductive Brownian motion

• graded coalgebra on a graded monad
• Brownian motion