Add link to Functional Reactive Types, by Alan Jeffrey.