Just to show a possible usage of an invariant functor instance
add the intellij plugin