# variable-media-field

Variable media field is a simple GADT for representing a media element.
It is defined:

```
data VF u where
  Blank :: VF u
  RawText :: Text -> VF u
  Image :: u -> VF u
  Audio :: u -> VF u
  Video :: u -> VF u
```

You can specify `u` as the mechanism for including media elements in your
type. Either by paths, uris or some other method.

Also defined is a collection of media elements.

```
data VFC u = VFC { unVFC :: [VF u] }
```