compose[\A, B, C\](f:A->B, g:B->C, i:Any): A->C = do
f(g(i))
end
composed(i:RR64): RR64 = compose(sin, cos, i)