modified Interfaces.fs