I'm following the TDD book in Idris 2, and the online documentation gives the following advice: For the VList view in the exercise 4 after Chapter 10-2 import
webassets
arithmetic-overflow
flask-frozen
papermill
dynamic-links
alphablending
symfony-console
headerfooter
azure-media-player
duktape
multiple-value
exadata
okta-api
map-files
manualresetevent
disjoint-sets
keypaths
modx-revolution
jquery-mask
xeon-phi
image-uploading
pygame-tick
name-length
mvvm
autogen
business-logic-layer
autoboxing
express-winston
haskell-wai
propositional-calculus
