Specifying and Using a Refined Type in a Function - Effect Community