Wrap TypeableAlgorithm in module clause