Exporting a concept from a module I have defined a concept to check if a compile time interface is fulfilled.