alt_compose(f:Number->RR64, g:Number->RR64, i:RR64): ()->RR64 = do f(g(i)) end alt_composed(i:RR64): RR64 = compose(sin, cos, i)