Improving Maintanability for Dual Functions: Linking Implementation with Type for Error Discovery - Effect Community