expected

Type checking ./Abstract.idr
Type checking ./Visible.idr
Abstract members are documented
Public members are documented