Removing `abstract` in Module