Show -package:rebase -package:rio is:module package:universe-reverse-instances

A Show instance for functions, given the input is Finite and both the input and output are Show.