Remove the pointed array entirely and the last explicit vestiges of
comonadicity.
A nice looking grid for ultimately showing how interfacing works. The
code does not look quite so nice though!