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)