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
pcre
xattribute
boost-polygon
windows-live-id
active-profiles
r2d2
2d
non-deterministic
service-locator
uibezierpath
well-formed
android-app-signing
amazon-comprehend
conventions
vmware
stellar
spamassassin
spark-kafka-integration
rxjs-pipeable-operators
export-to-word
async-pipe
vb5
microsoft.toolkit.forms.ui.controls
procedures
faster-rcnn
mkcoordinateregion
getresponsestream
stdev
brightscript
apple-app-site-association
