Implementation with Dynamic type

Signed-off-by: mat tso <mat-tso@topmail.ie>
Implementation with plain haskell type

Signed-off-by: mat tso <mat-tso@topmail.ie>
Update Readme

Signed-off-by: mat tso <mat-tso@topmail.ie>