Implemented namespace with [<AutoOpen>]